Parameter passing in algebraic specification languages

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

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

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

semanticcorrectness proofsparameterized data typesmodel functorparameterized specifications

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items

Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ 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 ⋮ Canonical constraints for parameterized data types ⋮ Unnamed Item ⋮ Algebraic and operational semantics of specifications allowing exceptions and errors

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