Schema-Guided Synthesis of Imperative Programs by Constraint Solving

DOI10.1007/11506676_11zbMATH Open1134.68345OpenAlexW1603688837MaRDI QIDQ5458801FDOQ5458801

Authors: Michael A. Colón 

Publication date: 24 April 2008

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11506676_11

Recommendations

• An abstract formalization of correct schemas for program synthesis
• Schema induction for logic program synthesis
• Synthesizing Imperative Code from Answer Set Programming Specifications
• Efficient program synthesis using constraint satisfaction in inductive logic programming
• A logic for schema-based program development
• Program schemata technique to solve propositional program logics revised
• Constraint-based partial evaluation for imperative languages
• The totality problem for program schemas

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (7)

• Solving program sketches with large integer values
• Partially interpreted schemas for CSP programming
• Synthesizing Imperative Code from Answer Set Programming Specifications
• An abstract formalization of correct schemas for program synthesis
• Efficiently solving quantified bit-vector formulas
• Bugs, moles and skeletons: symbolic reasoning for software development
• Program synthesis with best-first bottom-up search

This page was built for publication: Schema-Guided Synthesis of Imperative Programs by Constraint Solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458801)