A guided tour of the mathematics of MetaSoft '88
From MaRDI portal
Publication:1111360
DOI10.1016/0020-0190(88)90033-6zbMATH Open0658.68015OpenAlexW2064072219MaRDI QIDQ1111360FDOQ1111360
Publication date: 1988
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(88)90033-6
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Initial Algebra Semantics and Continuous Algebras
- Data Types as Lattices
- Title not available (Why is that?)
- A logic covering undefinedness in program proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Vienna development method: The meta-language
- Title not available (Why is that?)
- Towards a formal description of Ada
- Title not available (Why is that?)
- On a Formalization of the Non-Definedness Notion
- Continuations: A mathematical semantics for handling full jumps
- Partial-predicate logic in computer science
- Title not available (Why is that?)
- A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
- MetaSoft primer. Towards a metalanguage for applied denotational semantics
- ALGOL 60 confidential
- On the Development of Correct Specified Programs
- The remaining trouble spots in ALGOL 60
Uses Software
This page was built for publication: A guided tour of the mathematics of MetaSoft '88
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1111360)