Program inversion: More than fun!

DOI10.1016/0167-6423(90)90042-CzbMath0715.68055MaRDI QIDQ751841

Jan Tijmen Udding, Wei Chen

Publication date: 1990

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

program derivationprogram inversionproof rulesfree traversal

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

Categories, relations and dynamic programming ⋮ Running programs backwards: The logical inversion of imperative computation ⋮ Constructing a binary tree from its traversals by reversible recursion and iteration ⋮ Enabledness and termination in refinement algebra ⋮ Inversion of a recursive tree traversal ⋮ Determinization of inverted grammar programs via context-free expressions ⋮ Program inversion in the refinement calculus ⋮ Reverse Hoare Logic