A guided tour of the mathematics of MetaSoft '88
From MaRDI portal
Publication:1111360
Cites work
- scientific article; zbMATH DE number 3833274 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3812929 (Why is no real title available?)
- scientific article; zbMATH DE number 3936465 (Why is no real title available?)
- scientific article; zbMATH DE number 3999262 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
- A logic covering undefinedness in program proofs
- ALGOL 60 confidential
- Continuations: A mathematical semantics for handling full jumps
- Data Types as Lattices
- Initial Algebra Semantics and Continuous Algebras
- MetaSoft primer. Towards a metalanguage for applied denotational semantics
- On a Formalization of the Non-Definedness Notion
- On the Development of Correct Specified Programs
- Partial-predicate logic in computer science
- The Vienna development method: The meta-language
- The remaining trouble spots in ALGOL 60
- Towards a formal description of Ada
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)