Schema-Guided Synthesis of Imperative Programs by Constraint Solving

DOI10.1007/11506676_11MaRDI QIDQ5458801zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(7)

• Partially interpreted schemas for CSP programming
• Solving program sketches with large integer values
• 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)