( en | de | ru )

 

Disambiguation of "Byrd, William E."

Author of the publication

copydeleteadd this publication to your clipboard
Towards answering Äm I on the right track?" automatically using program synthesis.

, , , , and . SPLASH-E, page 13-24. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

William E Wycislo

Helga Byrde

Dennis Joel Byrd

Marian Byrdy

Martin Byrdin

 

Other publications of authors with the same name

Towards answering Äm I on the right track?" automatically using program synthesis., , , , and . SPLASH-E, page 13-24. ACM, (2019)Kanor - A Declarative Language for Explicit Communication., , , , , and . PADL, volume 6539 of Lecture Notes in Computer Science, page 190-204. Springer, (2011)A unified approach to solving seven programming problems (functional pearl)., , , and . Proc. ACM Program. Lang., 1 (ICFP): 8:1-8:26 (2017)Leveraging Constraint Logic Programming for Neural Guided Program Synthesis., , , , , , and . ICLR (Workshop), OpenReview.net, (2018)An Access Control Architecture for Distributing Trust in Pervasive Computing Environments., , and . EUC, page 695-702. IEEE Computer Society, (2010)The Reasoned Schemer, , and . The MIT Press, (July 2005)miniKanren, live and untagged: quine generation via relational interpreters (programming pearl)., , and . Scheme@ICFP, page 8-29. ACM, (2012)Lightweight Functional Logic Meta-Programming., , and . APLAS, volume 11893 of Lecture Notes in Computer Science, page 225-243. Springer, (2019)Declarative Parallel Programming for GPUs., , , , , and . PARCO, volume 22 of Advances in Parallel Computing, page 297-304. IOS Press, (2011)Multi-objective generative AI for designing novel brain-targeting small molecules., , , and . CoRR, (2024)