A set-theoretic semantics for Clear

DOI10.1007/BF00271641zbMath0535.68040MaRDI QIDQ791329

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

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

Cites Work

• The IOTA programming system. A modular programming environment
• Report on the Larch shared language
• Programming in a wide spectrum language: A collection of examples
• Partial abstract types
• R for Semantics
• Abstract data types and software validation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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