scientific article; zbMATH DE number 517385
zbMATH Open0794.68103MaRDI QIDQ4282672FDOQ4282672
Authors: J. J. Horning, John Guttag 
Publication date: 24 February 1994
Title of this publication is not available (Why is that?)
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.
programming languagessemanticsbibliographyspecification languagesalgebraic data type specificationsLarch interface language
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)
Cited In (41)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language
- An assertional proof of red-black trees using Dafny
- Class invariants as abstract interpretation of trace semantics
- Essential concepts of algebraic specification and program development
- A Larch shared language handbook
- A formal notation and tool for the engineering of CORBA systems
- Equality in computer algebra and beyond.
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Proving the correctness of behavioural implementations
- Title not available (Why is that?)
- Generic proof scores for generate \& check method in CafeOBJ
- Exploring abstract algebra in constructive type theory
- SOS formats and meta-theory: 20 years after
- Constraining interference in an object-based design method
- Manipulating algebraic specifications with term-based and graph-based representations
- Modeling and visualizing object-oriented programs with Codecharts
- Observational interpretation of Casl specifications
- CASL: the Common Algebraic Specification Language.
- Observational purity and encapsulation
- Impact of performance considerations on formal specification design
- Amalgamation in the semantics of CASL
- Semantics of multiway dataflow constraint systems
- LARCH
- Languages for formalizing, visualizing and verifying software architectures
- Constructor-based observational logic
- The deductive IDEF1X data model of a tooling system
- Holistic Specifications for Robust Programs
- Goldilocks and the three specifications
- Specifications can make programs run faster
- Proof systems for structured specifications with observability operators
- HasCasl: integrated higher-order specification and program development
- Writing Larch interface language specifications
- Specification and verification challenges for sequential object-oriented programs
- An overview of the Tecton proof system
- The definition of Extended ML: A gentle introduction
- Relating CASL with other specification languages: the institution level.
- Translation templates to support strategy development in PVS
- Efficient Well-Definedness Checking
- Modular specification of frame properties in JML
- Baby Modula-3 and a theory of objects
- The meaning of specifications I: Domains and initial models
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)
