Synthesizing Loops for Program Inversion

DOI10.1007/978-3-642-36315-3_6zbMath1451.68074OpenAlexW53716031MaRDI QIDQ3453736

David Jefferson, Richard M. Fujimoto, Cong Hou, Daniel J. Quinlan, 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 synthesisprogram inversion

Mathematics Subject Classification ID

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

Cites Work

• Matching Logic: An Alternative to Hoare/Floyd Logic

This page was built for publication: Synthesizing Loops for Program Inversion