Program inversion in the refinement calculus

DOI10.1016/0020-0190(91)90141-4MaRDI QIDQ750160zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3705887 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3784244 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• A calculus of refinements for program derivations
• Compositional action system refinement
• Duality in specification languages: A lattice-theoretical approach
• Program inversion: More than fun!
• Programming as a Discipline of Mathematical Nature

Cited in

(5)

• Contract lenses: Reasoning about bidirectional programs via calculation
• Running programs backwards: The logical inversion of imperative computation
• Reverse Hoare logic
• A theoretical approach to program inversion
• Program self-reference in constructive Scott subdomains

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

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