Program inversion in the refinement calculus

DOI10.1016/0020-0190(91)90141-4zbMath0713.68035OpenAlexW4252855367MaRDI QIDQ750160

D. Kharzeev

Publication date: 1991

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90141-4

zbMATH Keywords

formal semanticsspecification languagesprogram inversion

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Running programs backwards: The logical inversion of imperative computation ⋮ Reverse Hoare Logic

Cites Work

• Compositional action system refinement
• Program inversion: More than fun!
• Duality in specification languages: A lattice-theoretical approach
• A calculus of refinements for program derivations
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Program inversion in the refinement calculus