Derivations with Holes for Concept-Based Program Synthesis-Reference-Cited by-同舟云学术

Derivations with Holes for Concept-Based Program Synthesis

Published:2022-11-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
language:
Short-container-title:

Author:

Costa Seco João¹,Aldrich Jonathan²,Carvalho Luís¹,Toninho Bernardo¹,Ferreira Carla¹

Affiliation:

1. NOVA-LINCS, Portugal / Nova University of Lisbon, Portugal

2. Carnegie Mellon University, USA

Funder

Fundacião para a Ciência e Tecnologia

Agência Nacional Inovação

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3563835.3567658

Reference29 articles.

1. Recursive Program Synthesis

2. Gradual Program Verification

3. Ricardo Brancas , Miguel Terra-Neves , Miguel Ventura , Vasco M. Manquinho , and Ruben Martins . 2022 . CUBES: A Parallel Synthesizer for SQL Using Examples. CoRR, abs/2203.04995 (2022), https://doi.org/10.48550/arXiv.2203.04995 arXiv:2203.04995. 10.48550/arXiv.2203.04995 Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, and Ruben Martins. 2022. CUBES: A Parallel Synthesizer for SQL Using Examples. CoRR, abs/2203.04995 (2022), https://doi.org/10.48550/arXiv.2203.04995 arXiv:2203.04995.

4. Staged Composition Synthesis

5. Boris Düdder , Moritz Martens , and Jakob Rehof . 2015. Staged Composition Synthesis . In Software Engineering & Management (LNI , Vol. P-239). GI, 89– 90 . Boris Düdder, Moritz Martens, and Jakob Rehof. 2015. Staged Composition Synthesis. In Software Engineering & Management (LNI, Vol. P-239). GI, 89–90.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Going beyond templates: composition and evolution in nested OSTRICH;Software and Systems Modeling;2024-05-20