Data Type Specification: Parameterization and the Power of Specification Techniques

DOI10.1145/69622.357192zbMath0495.68020OpenAlexW2035625685MaRDI QIDQ3959407

James W. Thatcher, Jesse B. Wright, Eric G. Wagner

Publication date: 1982

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/69622.357192

zbMATH Keywords

algebraic specificationabstract data typescorrectness of specificationshidden functionsalgebraic treatment of parameterizationpower of conditional axiomstoy-stack

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (37)

Structured theory presentations and logic representations ⋮ Structured algebraic specifications: A kernel language ⋮ Petri nets with individual tokens ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Parameter-preserving data type specifications ⋮ On observational equivalence and algebraic specification ⋮ A characterization of passing compatibility for parameterized specifications ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Categorical aspects of data type constructors ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Algebraic specifications of computable and semicomputable data types ⋮ Compatibility problems in the development of algebraic module specifications ⋮ The equational theory of parameterized specifications ⋮ On a conjecture of Bergstra and Tucker ⋮ Proving correctness w.r.t. specifications with hidden parts ⋮ On the algebra of order ⋮ Unnamed Item ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Unnamed Item ⋮ Behavioural theories and the proof of behavioural properties ⋮ The meaning of specifications I: Domains and initial models ⋮ Comparison of functional and predicative query paradigms ⋮ Unnamed Item ⋮ A simple transfer lemma for algebraic specifications ⋮ Canonical constraints for parameterized data types ⋮ Unnamed Item ⋮ An algebraically specified language for data directed design ⋮ A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ On the algebraic structure of declarative programming languages ⋮ Meeting of the Association for Symbolic Logic ⋮ The Foundational Legacy of ASL ⋮ CASL: the Common Algebraic Specification Language. ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories ⋮ Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications ⋮ Two impossibility theorems on behaviour specification of abstract data types

This page was built for publication: Data Type Specification: Parameterization and the Power of Specification Techniques