Program inversion in the refinement calculus

DOI10.1016/0020-0190(91)90141-4zbMATH Open0713.68035OpenAlexW4252855367MaRDI QIDQ750160FDOQ750160

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming as a Discipline of Mathematical Nature
• Title not available (Why is that?)
• Compositional action system refinement
• A calculus of refinements for program derivations
• Duality in specification languages: A lattice-theoretical approach
• Program inversion: More than fun!

Cited In (5)

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

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)