scientific article; zbMATH DE number 517385

zbMath0794.68103MaRDI QIDQ4282672

J. J. Horning, J. V. Guttag

Publication date: 24 February 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bibliographyprogramming languagesspecification languagessemanticsalgebraic data type specificationsLarch interface language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (37)

Holistic Specifications for Robust Programs ⋮ Impact of performance considerations on formal specification design ⋮ Goldilocks and the three specifications ⋮ Constraining interference in an object-based design method ⋮ Specifications can make programs run faster ⋮ Constructor-based observational logic ⋮ Modular specification of frame properties in JML ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ An overview of the Tecton proof system ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ Essential concepts of algebraic specification and program development ⋮ SOS formats and meta-theory: 20 years after ⋮ Observational purity and encapsulation ⋮ Generic Proof Scores for Generate & Check Method in CafeOBJ ⋮ Proving the correctness of behavioural implementations ⋮ Proof systems for structured specifications with observability operators ⋮ The definition of Extended ML: A gentle introduction ⋮ Equality in computer algebra and beyond. ⋮ Efficient Well-Definedness Checking ⋮ The meaning of specifications I: Domains and initial models ⋮ An assertional proof of red-black trees using Dafny ⋮ The deductive IDEF1X data model of a tooling system ⋮ Class invariants as abstract interpretation of trace semantics ⋮ Modeling and visualizing object-oriented programs with Codecharts ⋮ Amalgamation in the semantics of CASL ⋮ A formal notation and tool for the engineering of CORBA systems ⋮ Observational interpretation of Casl specifications ⋮ HasCasl: integrated higher-order specification and program development ⋮ Exploring abstract algebra in constructive type theory ⋮ Semantics of multiway dataflow constraint systems ⋮ LARCH ⋮ Snapshot Generation in a Constructive Object-Oriented Modeling Language ⋮ CASL: the Common Algebraic Specification Language. ⋮ Relating CASL with other specification languages: the institution level. ⋮ Translation Templates to Support Strategy Development in PVS ⋮ Baby Modula-3 and a theory of objects ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: