Synthesizing loops for program inversion

DOI10.1007/978-3-642-36315-3_6MaRDI QIDQ3453736zbMATH OpenOpenAlexFDO

Authors Cong Hou, Daniel J. Quinlan, David Jefferson, Richard M. Fujimoto, Richard Vuduc

Publication date 30 November 2015

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36315-3_6

zbMATH Keywords

compilersprogram inversionprogram synthesis

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A program inverter for a functional language with equality and constructors.
• A method for automatic program inversion based on LR(0) parsing
• scientific article; zbMATH DE number 4047044
• A grammar-based approach to invertible programs
• From program verification to program synthesis

Cites work

• Matching logic: an alternative to Hoare/Floyd logic

Cited in

(3)

• Running programs backwards: The logical inversion of imperative computation
• A theoretical approach to program inversion
• Synthesis of the programmed functions offor loops on data structures

This page was built for publication: Synthesizing loops for program inversion

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