A set-theoretic semantics for Clear

DOI10.1007/BF00271641zbMATH Open0535.68040MaRDI QIDQ791329FDOQ791329

Authors: Donald Sannella 

Publication date: 1984

Published in: Acta Informatica (Search for Journal in Brave)

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• R for Semantics
• Abstract data types and software validation
• Title not available (Why is that?)
• Partial abstract types
• Title not available (Why is that?)
• The IOTA programming system. A modular programming environment
• Report on the Larch shared language
• Programming in a wide spectrum language: A collection of examples
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Title not available (Why is that?)
• 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)