Derivations with Holes for Concept-Based Program Synthesis

AuthID
 P-00X-VPC
5
Author(s)
Carvalho, L
·
2
Editor(s)
Scholliers,C;Singer,J
Document Type
Proceedings Paper
Year published
2022
Published
in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022 in Onward!
Pages: 63-79
Conference
2022 Acm Sigplan International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Co-Located with Splash 2022, Date: 8 December 2022 through 10 December 2022
Indexing
Scopus®
Dblp®/en/publications/view/978636
Crossref®1
Google Scholar®
Publication Identifiers
DBLP: conf/onward/SecoACT022
SCOPUS: 2-s2.0-85146974038
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service