Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar5. ADT 1987: Gullane, Scotland
Donald Sannella, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987Michel Bidoit:
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. 1-22Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode:
Algebraic Data Type and Process Specifications based on Projection Spaces. 23-43José Luiz Fiadeiro, Amílcar Sernadas:
Structuring Theories on Consequence. 44-72Harald Ganzinger:
Completion with History-Dependent Complexities for Generated Equations. 73-91Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
Jungle Evaluation. 92-112Horst Hansen:
The ACT System: Experiences and Future Enhancements. 113-130Thomas Lehmann, Jacques Loeckx:
The Specification Language of OBSCURE. 131-153Bernhard Möller, Andrzej Tarlecki, Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras. 154-169Tobias Nipkow:
Observing Non-Deterministic Data Types. 170-183Pilar Nivela, Fernando Orejas:
Initial Behaviour Semantics for Algebraic Specifications. 184-207Axel Poigné:
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. 208-234Horst Reichel:
Operational Semantics of Behavioural Canons based on Narrowing. 235-248Jos L. M. Vrancken:
The Algebraic Specification of Semi-Computable Data Types. 249-259
last updated on 2019-10-14 23:08 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
