( en | de | ru )

 

Disambiguierung von "Byrd, William E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards answering Äm I on the right track?" automatically using program synthesis.

, , , , und . SPLASH-E, Seite 13-24. ACM, (2019)

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.

William E Wycislo

Helga Byrde

Dennis Joel Byrd

Marian Byrdy

Martin Byrdin

 

Weitere Publikationen von Autoren mit dem selben Namen

Kanor - A Declarative Language for Explicit Communication., , , , , und . PADL, Volume 6539 von Lecture Notes in Computer Science, Seite 190-204. Springer, (2011)Towards answering Äm I on the right track?" automatically using program synthesis., , , , und . SPLASH-E, Seite 13-24. ACM, (2019)A unified approach to solving seven programming problems (functional pearl)., , , und . Proc. ACM Program. Lang., 1 (ICFP): 8:1-8:26 (2017)Leveraging Constraint Logic Programming for Neural Guided Program Synthesis., , , , , , und . ICLR (Workshop), OpenReview.net, (2018)An Access Control Architecture for Distributing Trust in Pervasive Computing Environments., , und . EUC, Seite 695-702. IEEE Computer Society, (2010)miniKanren, live and untagged: quine generation via relational interpreters (programming pearl)., , und . Scheme@ICFP, Seite 8-29. ACM, (2012)The Reasoned Schemer, , und . The MIT Press, (Juli 2005)Lightweight Functional Logic Meta-Programming., , und . APLAS, Volume 11893 von Lecture Notes in Computer Science, Seite 225-243. Springer, (2019)Declarative Parallel Programming for GPUs., , , , , und . PARCO, Volume 22 von Advances in Parallel Computing, Seite 297-304. IOS Press, (2011)Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)., , , und . FLOPS, Volume 4989 von Lecture Notes in Computer Science, Seite 64-80. Springer, (2008)