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)

Full work available at URL https://doi.org/10.1007/BF00271641

zbMATH Keywords

denotational semanticssemantics for the Clear specification language

Mathematics Subject Classification ID

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

Review text

A semantics for the Clear specification language is given. The language of set theory is employed to present constructions corresponding to Clear's specification-combining operations, which are then used as the basis for a denotational semantics. This is in contrast to Burstall and Goguen's 1980 semantics which described the meanings of these operations more abstractly via concepts from category theory.

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

• Abstract data types and software validation
• 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?)
• 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

(5)

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

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)