( en | de | ru )

 

Disambiguierung von "Peleg, Hila"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Programming by predicates: a formal model for interactive synthesis.

, , , und . Acta Inf., 57 (1-2): 165-193 (2020)

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.

Ika Peleg

Hila Emmert

Shahaf Peleg

Ratiba Adeline Hilali

Gabriel Pelegrina Bonilla

 

Weitere Publikationen von Autoren mit dem selben Namen

D^3 : Data-Driven Disjunctive Abstraction., , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 185-205. Springer, (2016)Programming with a read-eval-synth loop., , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 159:1-159:30 (2020)AmiGo: Computational Design of Amigurumi Crochet Patterns., , , und . SCF, Seite 5:1-5:11. ACM, (2022)Perfect Is the Enemy of Good: Best-Effort Program Synthesis., und . ECOOP, Volume 166 von LIPIcs, Seite 2:1-2:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Program Synthesis for Programmers.. Technion - Israel Institute of Technology, Israel, (2019)Cyclic program synthesis., , , , und . PLDI, Seite 944-959. ACM, (2021)Symbolic Automata for Static Specification Mining., , , und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 63-83. Springer, (2013)Generating Tests by Example., , und . VMCAI, Volume 10747 von Lecture Notes in Computer Science, Seite 406-429. Springer, (2018)LooPy: interactive program synthesis with control structures., , , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-29 (2021)Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)., , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 110-134. Springer, (2021)