Parameter passing in algebraic specification languages

DOI10.1016/0304-3975(83)90065-8zbMath0522.68027MaRDI QIDQ1056226

Hartmut Ehrig, Eric G. Wagner, Jesse B. Wright, James W. Thatcher, Hans-Joerg Kreowski

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90065-8

zbMATH Keywords

semantic; correctness proofs; parameterized data types; model functor; parameterized specifications

Mathematics Subject Classification ID

68P05: Data structures

68N01: General topics in the theory of software

Related Items

Canonical constraints for parameterized data types, Algebraic and operational semantics of specifications allowing exceptions and errors, On the implementation of abstract data types by programming language constructs, Functorial theory of parameterized specifications in a general specification framework, Order-Sorted Parameterization and Induction, Unnamed Item

Cites Work

• Algebraic implementation of abstract data types
• Parallel realization of systems, using factorizations and quotients in categories
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• An Introduction to the Construction and Verification of Alphard Programs
• Abstraction mechanisms in CLU
• Data type specification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item