On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
From MaRDI portal
Publication:3936177
DOI10.1145/322290.322303zbMath0478.68020OpenAlexW2055364993MaRDI QIDQ3936177
Publication date: 1982
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322290.322303
category theoryalgebraic specificationequational specificationsemantics of programming languagesabstract implementationparametrized specification
Related Items
Structured theory presentations and logic representations, Structured algebraic specifications: A kernel language, My ADT Shrine, On observational equivalence and algebraic specification, Toward formal development of programs from algebraic specifications: Implementations revisited, A characterization of passing compatibility for parameterized specifications, Another look at parameterization for oder-sorted algebraic specifications, Union and actualization of module specifications: Some compatibility results, Crypt-equivalent algebraic specifications, On pushout consistency, modularity and interpolation for logical specifications, Order-Sorted Parameterization and Induction, Equational specification of partial higher-order algebras, Specifications in an arbitrary institution, The equational theory of parameterized specifications, Parametrization for order-sorted algebraic specification, Algebraic implementation of abstract data types: a survey of concepts and new compositionality results, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, On the Modularization Theorem for logical specifications, Probabilization of logics: completeness and decidability, Abstract implementation of algebraic specifications in a temporal logic language, A categorical manifesto, Algebraic and operational semantics of specifications allowing exceptions and errors, Compatibility of parameter passing and implementation of parameterized data types, Implementation of data types by algebraic methods, Algebraic domain equations, Parameter passing in algebraic specification languages, A constructive method for abstract algebraic software specification, On a generalized modularization theorem, Toward formal development of programs from algebraic specifications: Parameterisation revisited
