( en | de | ru )

 

Disambiguierung von "Reps, Thomas W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A program integration algorithm that accommodates semantics-preserving transformations.

, , und . SDE, Seite 133-143. ACM, (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Markus Reps

Christian Repschläger

Ingeborg Reps

Albert Reps

Bruno Reps

 

Weitere Publikationen von Autoren mit dem selben Namen

Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback., , , , und . CoRR, (2023)Revamping TVLA: Making Parametric Shape Analysis Competitive., , , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 221-225. Springer, (2007)Synthesis with Asymptotic Resource Bounds., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 783-807. Springer, (2021)Programmable Program Synthesis., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 84-109. Springer, (2021)The Synthesizer Generator., und . Software Development Environments (SDE), Seite 42-48. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.A program integration algorithm that accommodates semantics-preserving transformations., , und . SDE, Seite 133-143. ACM, (1990)Component-based synthesis for complex APIs., , , , und . POPL, Seite 599-612. ACM, (2017)Static Program Analysis via 3-Valued Logic.. APPIA-GULP-PRODE, Seite 5. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Physical type checking for C., und . ACM SIGSOFT Softw. Eng. Notes, 24 (5): 66-75 (1999)A Dataset of Dockerfiles., , , und . MSR, Seite 528-532. ACM, (2020)