A theoretical approach to program inversion

MaRDI QIDQ2770741zbMATH OpenFDO

Authors Á. Fóthi, J. Nyéky-Gaizler

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

program inversion

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Program inversion in the refinement calculus
• A grammar-based approach to invertible programs
• Synthesizing loops for program inversion
• A method for automatic program inversion based on LR(0) parsing
• Program inversion for tail recursive functions
• Rebuilding a tree from its traversals: a case study of program inversion
• Running programs backwards: The logical inversion of imperative computation
• Improving determinization of grammar programs for program inversion

Cited in

(4)

• Running programs backwards: The logical inversion of imperative computation
• Program inversion for tail recursive functions
• The structured complexity of object-oriented programs
• Program inversion: More than fun!

This page was built for publication: A theoretical approach to program inversion

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