Look for the proof to find the program: decorated-component-based program synthesis

DOI10.1007/978-3-319-63390-9_5zbMath1494.68057OpenAlexW2735416437MaRDI QIDQ2164214

Brent Carmer, Adrià Gascón, Umang Mathur, Ashish Kumar Tiwari

Publication date: 12 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63390-9_5

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers ⋮ Bootstrapping library-based synthesis

This page was built for publication: Look for the proof to find the program: decorated-component-based program synthesis