scientific article; zbMATH DE number 517385

MaRDI QIDQ4282672zbMATH OpenFDO

Authors J. J. Horning, John Guttag

Publication date 24 February 1994

zbMATH Keywords

algebraic data type specificationsbibliographyLarch interface languageprogramming languagessemanticsspecification languages

Mathematics Subject Classification ID

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

Recommendations

• Report on the Larch shared language
• Writing Larch interface language specifications
• A Larch shared language handbook
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• CASL reference manual. The complete documentation of the common algebraic specification language.

Cited in

(47)

• HasCasl: integrated higher-order specification and program development
• A Larch shared language handbook
• 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.
• LARCH
• Class invariants as abstract interpretation of trace semantics
• 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
• An assertional proof of red-black trees using Dafny
• Semantics of multiway dataflow constraint systems
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Modeling and visualizing object-oriented programs with Codecharts
• Impact of performance considerations on formal specification design
• Constructor-based observational logic
• Specification and verification challenges for sequential object-oriented programs
• Translation templates to support strategy development in PVS
• Generic proof scores for generate \& check method in CafeOBJ
• Efficient Well-Definedness Checking
• scientific article; zbMATH DE number 3913704 (Why is no real title available?)
• Writing Larch interface language specifications
• scientific article; zbMATH DE number 1303987 (Why is no real title available?)
• Languages for formalizing, visualizing and verifying software architectures
• Baby Modula-3 and a theory of objects
• A formal notation and tool for the engineering of CORBA systems
• Modular specification of frame properties in JML
• Holistic Specifications for Robust Programs
• Goldilocks and the three specifications
• Constraining interference in an object-based design method
• Specifications can make programs run faster
• Proving the correctness of behavioural implementations
• Exploring abstract algebra in constructive type theory
• Observational interpretation of Casl specifications
• Snapshot Generation in a Constructive Object-Oriented Modeling Language
• The deductive IDEF1X data model of a tooling system
• The meaning of specifications I: Domains and initial models
• Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification
• NuITP: accelerating the inductive verification of equational programs through symbolic simplification
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• SOS formats and meta-theory: 20 years after
• Observational purity and encapsulation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282672)