A guided tour of the mathematics of MetaSoft '88

DOI10.1016/0020-0190(88)90033-6MaRDI QIDQ1111360zbMATHOpenAlexFDO

Authors Andrzej Blikle

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

zbMATH Keywords

denotational semanticsalgebraic semanticssoftware specificationMetaSoft

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

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

Describes a project that uses

Uses Software

• ALGOL 60

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)