Publication:4282672
From MaRDI portal
zbMath0794.68103MaRDI QIDQ4282672
Publication date: 24 February 1994
bibliography; programming languages; specification languages; semantics; algebraic data type specifications; Larch interface language
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Unnamed Item, Baby Modula-3 and a theory of objects, Modular specification of frame properties in JML, Observational interpretation of Casl specifications, Snapshot Generation in a Constructive Object-Oriented Modeling Language, The deductive IDEF1X data model of a tooling system, LARCH, The meaning of specifications I: Domains and initial models, SOS formats and meta-theory: 20 years after, Observational purity and encapsulation, HasCasl: integrated higher-order specification and program development, An overview of the Tecton proof system, Essential concepts of algebraic specification and program development, Proof systems for structured specifications with observability operators, The definition of Extended ML: A gentle introduction, Equality in computer algebra and beyond., Amalgamation in the semantics of CASL, CASL: the Common Algebraic Specification Language., Relating CASL with other specification languages: the institution level., Manipulating algebraic specifications with term-based and graph-based representations, Impact of performance considerations on formal specification design, Constructor-based observational logic, Specification and verification challenges for sequential object-oriented programs, Efficient Well-Definedness Checking