Data Type Specification: Parameterization and the Power of Specification Techniques
From MaRDI portal
Publication:3959407
DOI10.1145/69622.357192zbMath0495.68020MaRDI QIDQ3959407
Eric G. Wagner, Jesse B. Wright, James W. Thatcher
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
algebraic specification; abstract data types; correctness of specifications; hidden functions; algebraic treatment of parameterization; power of conditional axioms; toy-stack
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, A simple transfer lemma for algebraic specifications, Meeting of the Association for Symbolic Logic, Canonical constraints for parameterized data types, Behavioural theories and the proof of behavioural properties, The meaning of specifications I: Domains and initial models, Comparison of functional and predicative query paradigms, An algebraically specified language for data directed design, Compatibility of parameter passing and implementation of parameterized data types, 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, Structured algebraic specifications: A kernel language, Petri nets with individual tokens, Parameter-preserving data type specifications, On observational equivalence and algebraic specification, A characterization of passing compatibility for parameterized specifications, Categorical aspects of data type constructors, Algebraic specifications of computable and semicomputable data types, The equational theory of parameterized specifications, On a conjecture of Bergstra and Tucker, On the algebra of order, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Contextual rewriting as a sound and complete proof method for conditional LOG-specifications, Two impossibility theorems on behaviour specification of abstract data types, Structured theory presentations and logic representations, Another look at parameterization for oder-sorted algebraic specifications, Functorial theory of parameterized specifications in a general specification framework, CASL: the Common Algebraic Specification Language., Compatibility problems in the development of algebraic module specifications, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy, Unnamed Item