Running programs backwards: The logical inversion of imperative computation

DOI10.1007/BF01211087zbMath0887.68012MaRDI QIDQ1377325

Brian J. Ross

Publication date: 4 February 1998

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

imperative programslogical inference

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS

Uses Software

• SICStus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Program inversion in the refinement calculus
• Program inversion: More than fun!
• Grammar-related transformations of logic programs
• Simulation of hybrid circuits in constraint logic programming
• Invertible cellular automata: A review
• On the synthesis of function inverses
• Metalogical control for logic programs
• A formal approach to undo operations in programming languages
• Derivation of Invariant Assertions During Program Development by Transformation
• Logical Reversibility of Computation

This page was built for publication: Running programs backwards: The logical inversion of imperative computation