Specification of abstract data types

MaRDI QIDQ2785427zbMATH OpenFDO

Authors Jacques Loeckx, Markus Wolf, Hans-Dieter Ehrich

Publication date 23 February 1997

zbMATH Keywords

abstract data typesspecification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 47959
• Introduction to programming by abstract data types. Incl. 1 CD-ROM
• scientific article; zbMATH DE number 44414
• scientific article; zbMATH DE number 3900135

Cited in

(35)

• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
• Verifying an infinite systolic algorithm using third-order equational methods
• Observational logic, constructor-based logic, and their duality.
• scientific article; zbMATH DE number 4049006 (Why is no real title available?)
• Fuzzy terms
• Verification of mobile ad hoc networks: an algebraic approach
• Datatype laws without signatures
• Introduction to programming by abstract data types. Incl. 1 CD-ROM
• Experience of building an architecture-based generator using GenVoca for distributed systems
• Cones and foci: A mechanical framework for protocol verification
• Monadic extensions of institutions
• Model checking a cache coherence protocol of a Java DSM implementation
• Symmetric transrationals: the data type and the algorithmic degree of its equational theory
• MBase: Representing knowledge and context for the integration of mathematical software systems
• scientific article; zbMATH DE number 44414 (Why is no real title available?)
• CASL: the Common Algebraic Specification Language.
• Analysis of a distributed system for lifting trucks.
• A survey on the categorical term construction with applications
• A proof-planning framework with explicit abstractions based on indexed formulas
• Morita equivalence of many-sorted algebraic theories
• scientific article; zbMATH DE number 47959 (Why is no real title available?)
• The intersection of algebra and coalgebra
• A parameterization process: from a functorial point of view
• On quasivarieties and varieties as categories
• scientific article; zbMATH DE number 587794 (Why is no real title available?)
• Constructor-based observational logic
• Object oriented institutions to specify symbolic computation systems
• A systematic catalogue of reusable abstract data types
• scientific article; zbMATH DE number 1696885 (Why is no real title available?)
• scientific article; zbMATH DE number 978763 (Why is no real title available?)
• How accessible are categories of algebras?
• My ADT shrine
• The wheel of rational numbers as an abstract data type
• Class-diagrams for abstract data types

This page was built for publication: Specification of abstract data types

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