A set-theoretic semantics for Clear

DOI10.1007/BF00271641MaRDI QIDQ791329zbMATH OpenFDO

Authors Donald Sannella

Publication date 1984

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

denotational semanticssemantics for the Clear specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 554481
• Semantical analysis of specification logic
• scientific article; zbMATH DE number 192880
• scientific article; zbMATH DE number 3956413
• scientific article; zbMATH DE number 4097351

Cites work

• scientific article; zbMATH DE number 3837407 (Why is no real title available?)
• scientific article; zbMATH DE number 3876564 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3821094 (Why is no real title available?)
• scientific article; zbMATH DE number 3823107 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3737004 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 3581594 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• Abstract data types and software validation
• Partial abstract types
• Programming in a wide spectrum language: A collection of examples
• R for Semantics
• Report on the Larch shared language
• The IOTA programming system. A modular programming environment

Cited in

(4)

• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• scientific article; zbMATH DE number 3942991 (Why is no real title available?)
• Logic Programming
• A step semantic system for set theory

This page was built for publication: A set-theoretic semantics for Clear

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