-
1دورية أكاديمية
المؤلفون: Tal Lev-Ami, Neil Immerman, Thomas Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh
المصدر: Logical Methods in Computer Science, Vol Volume 5, Issue 2 (2009)
مصطلحات موضوعية: computer science - logic in computer science, computer science - programming languages, f.3.1, f.3.2, f.4.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
-
3
المصدر: Proceedings of the ACM on Programming Languages. 6:1291-1319
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Safety, Risk, Reliability and Quality, Software, Programming Languages (cs.PL)
-
4
المؤلفون: Jinwoo Kim, Loris D'Antoni, Thomas Reps
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Safety, Risk, Reliability and Quality, Software, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f2899cdbf89e3bf547e3d1bc32bc3a41
http://arxiv.org/abs/2211.07117 -
5
المؤلفون: Thomas Wahl, Peizun Liu, Thomas Reps
المصدر: ACM Transactions on Programming Languages and Systems. 42:1-34
مصطلحات موضوعية: Recursion, Theoretical computer science, Computer science, Concurrency, Context (language use), 0102 computer and information sciences, 02 engineering and technology, Thread (computing), 01 natural sciences, Program analysis, 010201 computation theory & mathematics, Reachability, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), 020201 artificial intelligence & image processing, Software, Context switch
-
6
المؤلفون: Di Wang, Jan Hoffmann, Thomas Reps
المصدر: MFPS
مصطلحات موضوعية: Theoretical computer science, Recursion, General Computer Science, Computer science, Probabilistic logic, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Static analysis, Semantics, 01 natural sciences, Theoretical Computer Science, Nondeterministic algorithm, Denotational semantics, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Programming paradigm, Computer Science::Programming Languages, Algebraic number, Randomness
-
7
المؤلفون: Di Wang, Thomas Reps, Jan Hoffmann
المصدر: PLDI
مصطلحات موضوعية: FOS: Computer and information sciences, Polynomial, Computer Science - Programming Languages, Linear programming, Computer science, Probabilistic logic, Recursion (computer science), 020207 software engineering, 02 engineering and technology, Upper and lower bounds, Moment (mathematics), 0202 electrical engineering, electronic engineering, information engineering, Applied mathematics, 020201 artificial intelligence & image processing, Central moment, Algebraic number, Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fbf147a55c98e58801c2d9275a50604a
https://doi.org/10.1145/3453483.3454062 -
8
المؤلفون: Thomas Reps, Denini Silva, Jordan Henkel, Leopoldo Teixeira, Marcelo d'Amorim
المصدر: ICSE (Companion Volume)
مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, Programming language, Acceptance rate, Artifact (software development), Virtualization, computer.software_genre, Maintenance engineering, Software Engineering (cs.SE), Computer Science - Software Engineering, Scripting language, Operating system, Code (cryptography), Shipwright, Human-in-the-loop, book.magazine, Research questions, Language model, DevOps, book, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8fd037b7a35303d2078bac8730ebaf36
https://doi.org/10.1109/icse-companion52605.2021.00087 -
9
المؤلفون: Thomas Reps, Zachary Kincaid, Jason Breck, John Cyphert
المصدر: Proceedings of the ACM on Programming Languages. 3:1-29
مصطلحات موضوعية: 020207 software engineering, 02 engineering and technology, Static analysis, Base (topology), Path expression, 020202 computer hardware & architecture, Loop (topology), Transformation (function), Path (graph theory), 0202 electrical engineering, electronic engineering, information engineering, Regular expression, Algebraic number, Safety, Risk, Reliability and Quality, Algorithm, Software, Mathematics
-
10
المؤلفون: Thomas Reps, Jason Breck, Zachary Kincaid, John Cyphert
المصدر: Proceedings of the ACM on Programming Languages. 3:1-29
مصطلحات موضوعية: Class (set theory), Rational number, Computer science, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Linear dynamical system, Decidability, Algebra, 010201 computation theory & mathematics, Simple (abstract algebra), 0202 electrical engineering, electronic engineering, information engineering, Automated reasoning, Algebraic number, Safety, Risk, Reliability and Quality, Representation (mathematics), Software