Skip to main content
SpringerLink
Log in

What is an Abstract Data Type, after all?

  • Contributed Papers
  • Conference paper
  • First Online:
Book cover Recent Trends in Data Type Specification (ADT 1994, COMPASS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 906))

Abstract

We look back on ten Workshops on Abstract Data Types. Organizers and publications, a list of authors referencing their talks and papers on the workshops, and a workshop bibliography are presented.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Egidio Astesiano and Maura Cerioli. Models and Logical Deduction in Partial Higher-Order Conditional Specifications. In [Ehr88], 1988.

    Google Scholar 

  2. Egidio Astesiano and Maura Cerioli. Relationships between Logical Frame-works. In [BC93],, pp. 126–143, 1991.

    Google Scholar 

  3. Egidio Astesiano, Maura Cerioli, and Gianna Reggio, editors. Participants' Handout of the 10th Workshop on Abstract Data Type. University of Genova, Department of Computer Science, 1994. Internal Report.

    Google Scholar 

  4. Egidio Astesiano, Alessandro Giovini, and Gianna Reggio. Data in a Concurrent Environment. In [Ehr88], 1988.

    Google Scholar 

  5. Grigoris Antoniou. On the Correctness of Modular Systems. In [JR90], 1990.

    Google Scholar 

  6. Valentin Antimirov. Term Rewriting in Unified Algebras: An Order-Sorted Approach. In [Ore92], 1992.

    Google Scholar 

  7. Egidio Astesiano and Gianna Reggio. Algebraic Specification of Concurrency. In [BC93],, pp. 1–39, 1991.

    Google Scholar 

  8. Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors. Recent Trends in Data Type Specification. Springer, Berlin, 1995. LNCS.

    Google Scholar 

  9. David Aspinall. Types, Subtypes and ASL+. This volume, pp. 116–131, 1994.

    Google Scholar 

  10. Egidio Astesiano and Elena Zucca. Towards a Theory of Dynamic Data Types. In [Ore92], 1992.

    Google Scholar 

  11. Han Baeumer. Relation Algebraic Specifications and Proofs in the Theory of Reduction Systems. In [Ore92], 1992.

    Google Scholar 

  12. Guntis Barzdins. ADT Implementation and Completion by Induction from Examples. In [EJOR91],, pp. 1–10, 1990.

    Google Scholar 

  13. Hubert Baumeister. Parameter Passing in the Typed Lambda Calculus Approach to Parameterized Specifications. In [Ore92], 1992.

    Google Scholar 

  14. Michel Bidoit and Christine Choppy, editors. Participants' Handout of the 8th Workshop on Abstract Data Type. University of Paris, Department of Computer Science, 1991. Internal Report.

    Google Scholar 

  15. Michel Bidoit and Christine Choppy, editors. Recent Trends in Data Type Specification. Springer, Berlin, 1993. LNCS 655.

    Google Scholar 

  16. Michel Bidoit, F. Capy, and Christine Choppy. How to Specify Databases with Constraints using Algebraic Techniques. In [JR90], 1990.

    Google Scholar 

  17. E. Battiston, Fiorella De Cindio, and Giancarlo Mauri. The Specification of Concurrent Systems with OBJSA Nets: From the Language to the Environment. In [JR90], 1990.

    Google Scholar 

  18. Michel Bidoit, Christine Choppy, and F. Voisin. The ASSPEGIQUE Specification Environment — Motivations and Design. In [Kre85],, pp. 54–72, 1984.

    Google Scholar 

  19. Didier Bert and Rachid Echahed. On the Operational Semantics of the Algebraic and Logic Programming Language LPG. This volume, pp. 132–152, 1994.

    Google Scholar 

  20. Catriel Beeri. Bulk Types and Query Language Design. This volume, pp. 30–47, 1994.

    Google Scholar 

  21. Christoph Beierle. Vertical and Horizontal Compositions of Implementation Specifications. In [DEGL86], 1986.

    Google Scholar 

  22. Jan Bergstra. Specification of Parameterized Data Types. In [EL82], 1982.

    Google Scholar 

  23. Gilles Bernot. Abstract Implementation with Exception Handling. In [DEGL86], 1986.

    Google Scholar 

  24. Gilles Bernot. Correctness Proofs for Abstract Implementations. In [DEGL86], 1986.

    Google Scholar 

  25. Gilles Bernot. Good Functors ... are those Preserving Philosophy! In [San87], 1987.

    Google Scholar 

  26. Didier Bert. Structuring Specifications in the Algebraic and Logic Language LPG. In [ACR94], 1994.

    Google Scholar 

  27. Mohamed Bettaz. Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. In [Ehr88], 1988.

    Google Scholar 

  28. Mohamed Bettaz. An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. In [EJOR91],, pp. 11–30, 1990.

    Google Scholar 

  29. Xavier Burgues and Xavier Franch Gutierrez. Communication between an Abstract Syntax Tree Interpreter and a Term Rewriting System. In [San87], 1987.

    Google Scholar 

  30. Gilles Bernot and Pascale Le Gall. Label Algebras: A Systematic Use of Terms. In [BC93],, pp. 144–163, 1991.

    Google Scholar 

  31. Leo Bachmair, Harald Ganzinger, and J. Stuber. Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. This volume, pp. 1–29, 1994.

    Google Scholar 

  32. Leo Bachmair, Harald Ganzinger, and Uwe Waldmann. First-Order Theorem Proving for Hierarchic Specifications. In [BC91], 1991.

    Google Scholar 

  33. Bernhard Bauer and Rolf Hennicker. An Interactive System for Algebraic Implementation Proofs. In [BC91], 1991.

    Google Scholar 

  34. Michel Bidoit and Rolf Hennicker. Behavioural Theories. This volume, pp. 153–169, 1994.

    Google Scholar 

  35. Michel Bidoit. Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. In [BW83b], 1983.

    Google Scholar 

  36. Michel Bidoit. The PLUSS Specification Language. In [DEGL86], 1986.

    Google Scholar 

  37. Michel Bidoit. The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. In [ST88b],, pp. 1–22, 1987.

    Google Scholar 

  38. Michel Bidoit. Recent Development of the PLUSS Specification Language. In [Ehr88], 1988.

    Google Scholar 

  39. Michel Bidoit. Behavioural Semantics versus Observational Semantics: Is there any deep Difference? In [Ore92], 1992.

    Google Scholar 

  40. Mohamed Bettaz and Mourad Maouche. How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. In [BC93],, pp. 164–180, 1991.

    Google Scholar 

  41. Mohamed Bettaz and Mourad Maouche. On the Specification of Protocol Objects. In [ACR94], 1994.

    Google Scholar 

  42. P. Blauth-Menezes. Vertical Composition of Systems with Respect to the Substitution Operation. In [ACR94], 1994.

    Google Scholar 

  43. Paul Boehm. The ACT System — A Software Environment for ACT ONE Specifications. In [DEGL86], 1986.

    Google Scholar 

  44. Michel Bosco. Basic Research Activities in the Framework of the Research and Development Program in Information Technologies of the CEC-DGXIII. In [BC91], 1991.

    Google Scholar 

  45. Père Botella. Abstract Data Types, Program Schema, and Programming Environments. In [DEGL86], 1986.

    Google Scholar 

  46. Adel Bouhoula. Sufficient Completeness and Implicit Induction in Parameterized Specifications. In [ACR94], 1994.

    Google Scholar 

  47. Mohamed Bettaz and Gianna Reggio. A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. In [EO94],, pp. 98–112, 1992.

    Google Scholar 

  48. Michael Breu. The Semantics of Generics in PANNDA-S. In [San87], 1987.

    Google Scholar 

  49. Michael Breu. Bounded Implementation of Algebraic Specifications. In [BC93],, pp. 181–198, 1991.

    Google Scholar 

  50. Ruth Breu. Two Views of Inheritance. In [Ore92], 1992.

    Google Scholar 

  51. Manfred Broy. Equations for Describing Dynamic Nets of Communicating Systems. This volume, pp. 170–187, 1994.

    Google Scholar 

  52. Peter Brueck. ADT as a Design Concept for CHILL. In [DEGL86], 1986.

    Google Scholar 

  53. Rod Burstall. Might the Church Representation of Data Types be Useful? In [San87], 1987.

    Google Scholar 

  54. Christoph Beierle and Angelika Voss. Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. In [EL82], 1982.

    Google Scholar 

  55. Christoph Beierle and Angelika Voss. A Parameterization Concept for Hierarchies of Specifications. In [BW83b], 1983.

    Google Scholar 

  56. Christoph Beierle and Angelika Voss. Implementation Specifications. In [Kre85],, pp. 39–53, 1984.

    Google Scholar 

  57. Manfred Broy and Martin Wirsing. Generalized Heterogeneous Algebras. In [BW83b], 1983.

    Google Scholar 

  58. Manfred Broy and Martin Wirsing, editors. Participants' Handout of the 2nd Workshop on Abstract Data Type. University of Passau, Department of Computer Science, 1983. Internal Report.

    Google Scholar 

  59. Maura Cerioli. A Lazy Approach to Partial Algebras. This volume, pp. 188–202, 1994.

    Google Scholar 

  60. Ingo Classen and Martin Gogolla. Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE. In [BC91], 1991.

    Google Scholar 

  61. Christine Choppy. Complexity of Abstract Data Types. In [DEGL86], 1986.

    Google Scholar 

  62. Christine Choppy. Formal Specification, Prototyping, and Integration Testing. In [San87], 1987.

    Google Scholar 

  63. Christine Choppy. About the Correctness and Adequacy of PLUSS Specifications. In [EO94],, pp. 128–143, 1992.

    Google Scholar 

  64. Fiorella De Cindio. A Distributed System Design Method Based on a Class of Modular Algebraic Nets: The Specification of the Coordinator of an Hydro-Electric System. In [ACR94], 1994.

    Google Scholar 

  65. Silvia Ines Clerici, Rosa Jimenez, and Fernando Orejas. Semantic Constructions in the Specification Language GLIDER. In [EO94],, pp. 144–157, 1992.

    Google Scholar 

  66. Boutheina Chetali and Pierre Lescanne. Faulty Channels, Correct Protocols: Formal Proofs of Concurrent Programs Using the Larch Prover. In [ACR94], 1994.

    Google Scholar 

  67. Ingo Classen. A Revised Version of ACT ONE. In [Ehr88], 1988.

    Google Scholar 

  68. Silvia Ines Clerici. Building Programs from Generic Specifications. In [San87], 1987.

    Google Scholar 

  69. Kieran Clenaghan. Abstract Architecture of an Interactive Programming System. In [Ehr88], 1988.

    Google Scholar 

  70. Kieran Clenaghan. A Look at Formal Program Development through Z. In [BC91], 1991.

    Google Scholar 

  71. Jose Felix Costa and Danilo Montesi. A Model for Concurrent Databases. In [ACR94], 1994.

    Google Scholar 

  72. Silvia Ines Clerici and Fernando Orejas. The Specification Language GSBL. In [EJOR91],, pp. 31–51, 1990.

    Google Scholar 

  73. Silvia Ines Clerici, Fernando Orejas, and Pere Botella. The Specification Language for the GESTALT Environment. In [Ehr88], 1988.

    Google Scholar 

  74. Derek Coleman. AXIS. In [San87], 1987.

    Google Scholar 

  75. Stefan Conrad. On Certification of Specifications for TROLL light Objects. In [EO94],, pp. 158–172, 1992.

    Google Scholar 

  76. Felix Cornelius. Charity: An Interface between Theory and Practice? In [ACR94], 1994.

    Google Scholar 

  77. Maura Cerioli and Gianna Reggio. Institutions for Very Abstract Specifications. In [EO94],, pp. 113–127, 1992.

    Google Scholar 

  78. Erwan David and Gilles Bernot. On the Usefulness of Semi-Initiality and Semi-Adjuncts for Institution-Independent Issues. In [ACR94], 1994.

    Google Scholar 

  79. Jean-Francois Dufourd and Yves Bertrand. Algebraic Specification and Interactive Solid Modelling. In [ACR94], 1994.

    Google Scholar 

  80. Klaus Drosten and Hans-Dieter Ehrich. Translating Algebraic Specifications to PROLOG Programs. In [KW84], 1984.

    Google Scholar 

  81. Klaus Drosten, Hans-Dieter Ehrich, Martin Gogolla, and Udo Walter Lipeck, editors. Participants' Handout of the 4th Workshop on Abstract Data Type. University of Braunschweig, Department of Computer Science, 1986. Informatik-Bericht Nr. 86-09.

    Google Scholar 

  82. Grit Denker. Transactions in Object-Oriented Specifications. This volume, pp. 203–218, 1994.

    Google Scholar 

  83. Grit Denker and Martin Gogolla. Translating TROLL light Concepts to Maude. In [EO94],, pp. 173–187, 1992.

    Google Scholar 

  84. Anne Deo, Pascale Le Gall, and Gilles Bernot. Semantics for Algebraic Specifications with Iterators. In [ACR94], 1994.

    Google Scholar 

  85. Christian Dimitrovici and Ulrich Hummert. Composition of Algebraic High-Level Nets. In [EJOR91],, pp. 52–73, 1990.

    Google Scholar 

  86. Razvan Diaconescu. Logical Support to Modularization. In [BC91], 1991.

    Google Scholar 

  87. Razvan Diaconescu. Completeness of Model-Theoretic Paramodulation: A Category-Based Approach. In [ACR94], 1994.

    Google Scholar 

  88. Niek Van Diepen. From Specification to Implementation — A Swiss System Study. In [BC91], 1991.

    Google Scholar 

  89. Christian Dimitrovici. Projection Spaces. In [Ehr88], 1988.

    Google Scholar 

  90. Dominique Duval and Jean-Claude Reynaud. Sketches and Computation. In [ACR94], 1994.

    Google Scholar 

  91. Klaus Drosten. Executing Specifications using Conditional Axioms. In [BW83b], 1983.

    Google Scholar 

  92. Klaus Drosten. Term Rewriting Systems with Restricted Variables. In [DEGL86], 1986.

    Google Scholar 

  93. Peter Dybjer. Towards a Unified Theory of Data Types: Some Categorical Aspects. In [BW83b], 1983.

    Google Scholar 

  94. Hartmut Ehrig, Michael Baldamus, and Fernando Orejas. New Concepts of Amalgamation and Extension for a General Theory of Specifications. In [BC93],, pp. 199–221, 1991.

    Google Scholar 

  95. Hartmut Ehrig, Werner Fey, and Horst Hansen. ACT ONE — An Algebraic Specification Language with two Levels of Semantics. In [BW83b], 1983.

    Google Scholar 

  96. Hartmut Ehrig, Werner Fey, and Horst Hansen. Towards Abstract User Interfaces for Formal System Specifications. In [Kre85],, pp. 73–88, 1984.

    Google Scholar 

  97. Gregor Engels and Martin Gogolla. Error Handling in Algebraic Specifications. In [EL82], 1982.

    Google Scholar 

  98. Hans-Dieter Ehrich, Martin Gogolla, and Amilcar Sernadas. Objects and their Specification. In [BC93],, pp. 40–65, 1991.

    Google Scholar 

  99. Hans-Dieter Ehrich. Algebraic Domain Equations. In [EL82], 1982.

    Google Scholar 

  100. Hans-Dieter Ehrich. Operational Aspects of Algebraic Specifications. In [EL82], 1982.

    Google Scholar 

  101. Hartmut Ehrig. ACT — Algebraic Specification Technique for the Correct Design of Reliable Software Systems. In [EL82], 1982.

    Google Scholar 

  102. Hartmut Ehrig. Parameterized Data Types and Parameter Passing. In [EL82], 1982.

    Google Scholar 

  103. Hans-Dieter Ehrich. Algebraic (?) Specification of Conceptual Database Schemata. In [Kre85],, pp. 22–27, 1984.

    Google Scholar 

  104. Hans-Dieter Ehrich. Towards an Algebraic Semantics for Databases. In [DEGL86], 1986.

    Google Scholar 

  105. Hartmut Ehrig. Towards an Algebraic Semantics of the ISO Specification Language LOTOS. In [DEGL86], 1986.

    Google Scholar 

  106. Hartmut Ehrig, editor. Participants' Handout of the 6th Workshop on Abstract Data Type. University of Berlin, Department of Computer Science, 1988. Internal Report.

    Google Scholar 

  107. Hartmut Ehrig, Rosa Jimenez, and Fernando Orejas. Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. In [Ore92], 1992.

    Google Scholar 

  108. Hartmut Ehrig, Klaus-Peter Jantke, Fernando Orejas, and Horst Reichel, editors. Recent Trends in Data Type Specification. Springer, Berlin, 1991. LNCS 534.

    Google Scholar 

  109. Hans-Dieter Ehrich and Udo Walter Lipeck, editors. Participants' Handout of the 1st Workshop on Abstract Data Type. University of Dortmund, Department of Computer Science, 1982. Internal Report.

    Google Scholar 

  110. Hartmut Ehrig, Michael Loewe, and Fernando Orejas. Dynamic Abstract Data Types Based on Algebraic Graph Transformations. This volume, pp. 236–254, 1994.

    Google Scholar 

  111. Hartmut Ehrig and Fernando Orejas, editors. Recent Trends in Data Type Specification. Springer, Berlin, 1994. LNCS 785.

    Google Scholar 

  112. Hartmut Ehrig and Francesco Parisi-Presicce. A Match Operation for Rule-Based Modular System Design. In [EJOR91],, pp. 74–97, 1990.

    Google Scholar 

  113. Hartmut Ehrig and Francesco Parisi-Presicce. Non-Equivalence of Categories for Equational Algebraic Specifications. In [BC93],, pp. 222–235, 1991.

    Google Scholar 

  114. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, and Martin Grosse-Rhode. Algebraic Data Type and Process Specifications based on Projection Spaces. In [ST88b],, pp. 23–43, 1987.

    Google Scholar 

  115. Hartmut Ehrig, Julia Padberg, and Leila Ribeiro. Algebraic High-Level Nets: Petri Nets Revisited. In [EO94],, pp. 188–206, 1992.

    Google Scholar 

  116. Hans-Dieter Ehrich and Amilcar Sernadas. Local Specification of Distributed Families of Sequential Objects. This volume, pp. 219–235, 1994.

    Google Scholar 

  117. Hans-Dieter Ehrich, Amilcar Sernadas, and Cristina Sernadas. Objects and Object Types. In [Ehr88], 1988.

    Google Scholar 

  118. Hartmut Ehrig and Herbert Weber. Algebraic Specifications of Modules. In [KW84], 1984.

    Google Scholar 

  119. Joachim Faulhaber. Better Software through Formal Methods: Development of a Universal Formatting Tool. In [ACR94], 1994.

    Google Scholar 

  120. Jordi Farres-Casals. Proving Constructor Implementations in Two Steps. In [Ehr88], 1988.

    Google Scholar 

  121. Jordi Farres-Casals. Treating Abstraction as Hiding. In [BC91], 1991.

    Google Scholar 

  122. Jose Fiadeiro and Jose Felix Costa. Institutions for Behaviour Specification. This volume, pp. 273–289, 1994.

    Google Scholar 

  123. Jose Fiadeiro, Jose Felix Costa, Amilcar Sernadas, and Tom S.E. Maibaum. Process Semantics of Temporal Logic Specifications. In [BC93],, pp. 236–253, 1991.

    Google Scholar 

  124. Werner Fey, Hartmut Ehrig, Horst Hansen, and Michael Loewe. Algebraic Theory of Modular Specification Development. In [Ehr88], 1988.

    Google Scholar 

  125. Yulin Feng. A Temporal Approach to Algebraic Specifications. In [JR90], 1990.

    Google Scholar 

  126. Werner Fey. From Requirements to Design Specification. In [EL82], 1982.

    Google Scholar 

  127. Werner Fey. The Module Specification Language ACT TWO. In [DEGL86], 1986.

    Google Scholar 

  128. Werner Fey. Syntax and Semantics of ACT TWO. In [San87], 1987.

    Google Scholar 

  129. Werner Fey. Algebraic Specification of Modules and Configuration Families. In [JR90], 1990.

    Google Scholar 

  130. Werner Fey. ACT TWO in a Specification Logic. In [BC91], 1991.

    Google Scholar 

  131. Werner Fey. Structured Relationship between Algebraic Module Specifications and Program Modules. In [Ore92], 1992.

    Google Scholar 

  132. Juergen Fuchs, Annette Hoffmann, Thomas Lehmann, and Jacques Loeckx. The Specification System OBSCURE. In [JR90], 1990.

    Google Scholar 

  133. M. Fernandez and Jean-Pierre Jouannaud. Modular Termination of Term Rewriting Systems Revisited. This volume, pp. 255–272, 1994.

    Google Scholar 

  134. Harald-Reto Fonio. Simulation of Predicate-Event Nets by Term Rewriting and some Related Problems. In [San87], 1987.

    Google Scholar 

  135. Harald-Reto Fonio. Abelian Monoids versus Concurrency — An Algebraic Approach to the Specification of Distributed Systems. In [Ehr88], 1988.

    Google Scholar 

  136. Oyvind B. Fredriksen. From Sets with Structure to Algebras with Structure. In [ACR94], 1994.

    Google Scholar 

  137. Jose Fiadeiro and Amilcar Sernadas. Structuring Theories on Consequence. In [ST88b],, pp. 44–72, 1987.

    Google Scholar 

  138. Peter Gabriel. The Object-Based Specification Language PI: Concepts, Syntax, and Semantics. In [BC93],, pp. 254–270, 1991.

    Google Scholar 

  139. Harald Ganzinger. Parameterized Specifications — Parameterized Passing and Implementation with Respect to Observability. In [EL82], 1982.

    Google Scholar 

  140. Harald Ganzinger. Modular Compiler Descriptions based on Abstract Semantic Data Types. In [BW83b], 1983.

    Google Scholar 

  141. Harald Ganzinger. Modular Logic Programming of Compilers. In [KW84], 1984.

    Google Scholar 

  142. Harald Ganzinger. Knuth-Bendix Completion for Parametric Specifications with Conditional Equations. In [DEGL86], 1986.

    Google Scholar 

  143. Harald Ganzinger. Completion with History-Dependent Complexities for Generated Equations. In [ST88b],, pp. 73–91, 1987.

    Google Scholar 

  144. Harald Ganzinger. Solving Set Constraints by Ordered Resolution. In [Ore92], 1992.

    Google Scholar 

  145. Marie-Claude Gaudel. Structuring and Modularizing Algebraic Specifics tions: Evolutions of the PLUSS Specification Language. In [Ore92], 1992.

    Google Scholar 

  146. Martin Gogolla and Maura Cerioli. What is an Abstract Data Type, after all? This volume, pp. 488–512, 1994.

    Google Scholar 

  147. Joseph A. Goguen and Razvan Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In [EO94],, pp. 1–29, 1992.

    Google Scholar 

  148. Martin Gogolla and Rudolf Herzig. An Algebraic Semantics for the Object Specification Language TROLL light. This volume, pp. 290–306, 1994.

    Google Scholar 

  149. Joseph A. Goguen and Grant Malcolm. Correctness of Object Refinement. In [ACR94], 1994.

    Google Scholar 

  150. Richard Goebel. Rewrite Rules with Conditions for Algebraic Specifications. In [BW83b], 1983.

    Google Scholar 

  151. Martin Gogolla. Algebraic Specification of Subsorts. In [BW83b], 1983.

    Google Scholar 

  152. Martin Gogolla. A Final Algebra Semantics for Errors and Exceptions. In [Kre85],, pp. 89–103, 1984.

    Google Scholar 

  153. Martin Gogolla. Exception Handling and Subsorts. In [DEGL86], 1986.

    Google Scholar 

  154. Ulrich Grude and Peter Padawitz. Initial and Fixpoint Semantics of Algebraic Specifications. In [BW83b], 1983.

    Google Scholar 

  155. Martin Grosse-Rhode. Towards Object-Oriented Algebraic Specifications. In [EJOR91],, pp. 98–116, 1990.

    Google Scholar 

  156. Radu Grosu and Franz Regensburger. The Logical Framework of SPECTRUM. In [Ore92], 1992.

    Google Scholar 

  157. John W. Gray. Executable Specifications for Data Type Constructors. In [Ehr88], 1988.

    Google Scholar 

  158. Bernhard Grämlich. Completion Based Inductive Proving with UNICOM. In [JR90], 1990.

    Google Scholar 

  159. Ulrich Grude. Algebraic Specifications of AG Compilers. In [KW84], 1984.

    Google Scholar 

  160. Martin Grosse-Rhode and Uwe Wolter. Two-Categorical Specification of Partial Algebras. In [EO94],, pp. 207–219, 1992.

    Google Scholar 

  161. Gerard Guiho. Multi-Operator Algebras. In [BW83b], 1983.

    Google Scholar 

  162. Horst Hansen. From Algebraic Specifications towards Algebraic Programs. In [DEGL86], 1986.

    Google Scholar 

  163. Horst Hansen. The ACT System: Experiences and Future Enhancements. In [ST88b],, pp. 113–130, 1987.

    Google Scholar 

  164. Michael Hanus. Horn Clause Specifications with Polymorphic Types. In [Ehr88], 1988.

    Google Scholar 

  165. Michael Hanus. Operational Semantics of Equational Logic Languages. In [Ore92], 1992.

    Google Scholar 

  166. Robert Harper. Institutions and the Edinburgh Logical Framework. In [San87], 1987.

    Google Scholar 

  167. Magne Haveraaen. WP Observational Algebra Specification. In [San87], 1987.

    Google Scholar 

  168. Magne Haveraaen. The PAL Module Concept. In [Ehr88], 1988.

    Google Scholar 

  169. Magne Haveraaen. Non-Deterministic Imperative Algebras? In [JR90], 1990.

    Google Scholar 

  170. Magne Haveraaen. An Algebraic Interpretation of Computer Programs. In [BC91], 1991.

    Google Scholar 

  171. Anne Haxthausen. Mutually Recursive Algebraic Domain Equations. In [Ehr88], 1988.

    Google Scholar 

  172. Anne Haxthausen. The RAISE Specification Language and Method. In [BC91], 1991.

    Google Scholar 

  173. Rolf Hennicker, Michel Bidoit, and Martin Wirsing. Characterizing Behavioural and Abstractor Specifications. In [ACR94], 1994.

    Google Scholar 

  174. Rolf Hennicker. An Implementation Concept for Observational Specifications. In [DEGL86], 1986.

    Google Scholar 

  175. Rolf Hennicker. Towards a Kernel Language for Reusable Components. In [San87], 1987.

    Google Scholar 

  176. C. Hermida. On Fibred Adjunctions and Completeness for Fibred Categories. In [EO94],, pp. 235–251, 1992.

    Google Scholar 

  177. Andreas Heckler, Rudolf Hettler, Heinrich Hussmann, and Jacques Loeckx. The Specification and Prototyping of a LEX-Like Scanner — A Comparative Case Study in the Languages SPECTRUM and OBSCURE. In [Ore92], 1992.

    Google Scholar 

  178. Claus Hintermeier. Matching and Unification in G-Algebra. In [Ore92], 1992.

    Google Scholar 

  179. Dieter Hofbauer and Ralf-Detlef Kutsche. Proving Inductive Theorems in Equational Theories. In [Ehr88], 1988.

    Google Scholar 

  180. Claus Hintermeier, Claude Kirchner, and Helene Kirchner. Sort Inheritance for Order-Sorted Equational Presentations. This volume, pp. 319–335, 1994.

    Google Scholar 

  181. Klaus-Peter Hasler, Hans-Joerg Kreowski, Michael Loewe, and Michaela Reisin. Suggestions on the Interpretation of Algebraic Specifications. In [BW83b], 1983.

    Google Scholar 

  182. Annegret Habel, Hans-Joerg Kreowski, and Detlef Plump. Jungle Evaluation. In [ST88b],, pp. 92–112, 1987.

    Google Scholar 

  183. Jean-Michel Hufflen and Nicole Levy. The Algebraic Specification Language GLIDER: A Two-Level Language. In [ACR94], 1994.

    Google Scholar 

  184. Klaus-Peter Hasler, Michael Loewe, and Michaela Reisin. An Interpreter for Algebraic Specifications with User Controlled Termination. In [EL82], 1982.

    Google Scholar 

  185. Klaus-Peter Hasler and Jan De Meer. OSI Transport Service Considered as an Abstract Data Type. In [Kre85],, pp. 104–118, 1984.

    Google Scholar 

  186. Magne Haveraaen and Hans Munthe-Kaas. SOPHUS: A Tool for Solving Partial Differential Equations. In [ACR94], 1994.

    Google Scholar 

  187. Magne Haveraaen, Victor Madsen, and Hans Munthe-Kaas. Algebraic Programming Technology for Partial Differential Equations. In [Ore92], 1992.

    Google Scholar 

  188. Rolf Hennicker and Friederike Nicki. A Behavioural Algebraic Framework for Modular System Design with Reuse. In [EO94],, pp. 220–234, 1992.

    Google Scholar 

  189. B. Hohlfeld. Implementation of Abstract Data Types in PASCAL Programs. In [BW83b], 1983.

    Google Scholar 

  190. U. Hensel and Horst Reichel. Defining Equations in Terminal Co-Algebras. This volume, pp. 307–318, 1994.

    Google Scholar 

  191. Lin Huimin. Relative Completeness in Algebraic Specifications. In [San87], 1987.

    Google Scholar 

  192. Heinrich Hussmann. Prototyping Non-Deterministic Algebraic Specifications using the RAP System. In [Ehr88], 1988.

    Google Scholar 

  193. Heinrich Hussmann. An Informal Introduction to the Axiomatic Specification Language SPECTRUM. In [Ore92], 1992.

    Google Scholar 

  194. Heinrich Hussmann. Axiomatic Specification of Large Information Systems: Experiences and Consequences. This volume, pp. 336–350, 1994.

    Google Scholar 

  195. Rolf Hennicker and Martin Wirsing. Observational Specification: A Birkhoff Theorem. In [Kre85],, pp. 119–135, 1984.

    Google Scholar 

  196. Dan Ionescu. A Temporal Logic Approach to the Design of Real-Time Programs. In [ACR94], 1994.

    Google Scholar 

  197. Klaus P. Jantke. Recursion-Theoretic Problems in Abstract Data Type Theory. In [DEGL86], 1986.

    Google Scholar 

  198. Klaus P. Jantke. On Solving Divergence in Knuth-Bendix Completion. In [Ehr88], 1988.

    Google Scholar 

  199. Dean Jacobs and Bernd Mahr. Concepts of Algebraic Database Programming Languages. In [Ehr88], 1988.

    Google Scholar 

  200. Jean-Pierre Jouannaud. Programming and Checking Data Types with REVE. In [BW83b], 1983.

    Google Scholar 

  201. Jean-Pierre Jouannaud. Recent Results on Term Rewriting. In [BC91], 1991.

    Google Scholar 

  202. Jean-Pierre Jouannaud. Rewriting Techniques for Software Engineering. In [EO94],, pp. 30–52, 1992.

    Google Scholar 

  203. Klaus-Peter Jantke and Horst Reichel, editors. Participants' Handout of the 7th Workshop on Abstract Data Type. University of Leipzig, Department of Computer Science, 1990. Internal Report.

    Google Scholar 

  204. Stephan Kaplan. Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. In [Kre85],, pp. 136–155, 1984.

    Google Scholar 

  205. Stephan Kaplan. Algebraic Specification of Concurrent Systems: A Proposal. In [San87], 1987.

    Google Scholar 

  206. Edmund Kazmierczak. Modelling Algebraic Theories in Categories Derived from Lambda Algebras. In [JR90], 1990.

    Google Scholar 

  207. Edmund Kazmierczak. Towards Institution-Dependent Tools for Extended ML: An Institution for Extended ML. In [BC91], 1991.

    Google Scholar 

  208. Bernd Krieg-Brueckner. Transformation of Interface Specifications. In [Kre85],, pp. 156–170, 1984.

    Google Scholar 

  209. Bernd Krieg-Brueckner. The COMPASS Working Group. In [BC91], 1991.

    Google Scholar 

  210. Helene Kirchner. On Primal Algebras and Deduction with Constraints. In [Ore92], 1992.

    Google Scholar 

  211. Claude Kirchner and Helene Kirchner. Order-Sorted Rewriting and Completion in G-Algebra. In [BC91], 1991.

    Google Scholar 

  212. Herbert Klaeren. Parameterized Software Specifications with Inductively Defined Operations. In [EL82], 1982.

    Google Scholar 

  213. Herbert Klaeren. Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications. In [BW83b], 1983.

    Google Scholar 

  214. Hans-Joerg Kreowski and Till Mossakowski. Based Algebras and Horn Clause Theories. In [Ore92], 1992.

    Google Scholar 

  215. Teodor Knapik. Specifications with Observable Formulae and Observational Satisfaction Relation. In [BC93],, pp. 271–291, 1991.

    Google Scholar 

  216. Teodor Knapik. Specifying Concurrent and Real-Time Systems in Many-Sorted First-Order Logic. In [ACR94], 1994.

    Google Scholar 

  217. Hans-Joerg Kreowski. An Algebraic Implementation Concept for Abstract Data Types. In [EL82], 1982.

    Google Scholar 

  218. Hans-Joerg Kreowski. Specification of Partial Functions — Only a Tentative Suggestion. In [BW83b], 1983.

    Google Scholar 

  219. Hans-Joerg Kreowski. Nets Meet Algebra. In [KW84], 1984.

    Google Scholar 

  220. Hans-Joerg Kreowski, editor. Recent Trends in Data Type Specification. Springer, Berlin, 1985. Informatik Fachberichte 116.

    Google Scholar 

  221. Hans-Joerg Kreowski. Based Algebras. In [DEGL86], 1986.

    Google Scholar 

  222. Hans-Joerg Kreowski. Complexity in Algebraic Specifications: An Upper Bound Result. In [Ehr88], 1988.

    Google Scholar 

  223. Harro Kremer. Design Criteria for, and Experience with, the Use of ADTs in Large LOTOS Specifications. In [BC91], 1991.

    Google Scholar 

  224. Hans-Joerg Kreowski. Parameterized Specifications with Polymorphic Naming. In [BC91], 1991.

    Google Scholar 

  225. Hans-Joerg Kreowski. Rewriting and Deduction in a Distributed Specification. In [ACR94], 1994.

    Google Scholar 

  226. Hans-Joerg Kreowski and Anne Wilharm, editors. Participants' Handout of the 3rd Workshop on Abstract Data Type. University of Bremen, Department of Computer Science, 1984. Informatik-Bericht Nr. 9/84.

    Google Scholar 

  227. Jordi Levy and Jaume Agusti. Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. In [EO94], pp. 252–267, 1992.

    Google Scholar 

  228. Udo Lipeck and Hans-Dieter Ehrich. Algebraic Specifications of Database Constraints. In [BW83b], 1983.

    Google Scholar 

  229. Thomas Lehmann. A Notion of Implementation for the Specification Language OBSCURE. In [EJOR91],, pp. 141–165, 1990.

    Google Scholar 

  230. Claus-Werner Lermen. OBSCURE — A Language for Algorithmic Specifications. In [BW83b], 1983.

    Google Scholar 

  231. Pierre Lescanne. A Survey of Recent Results on Termination of Rewrite Systems. In [BC91], 1991.

    Google Scholar 

  232. Nicole Levy. Using Operators to Construct a Specification. In [BC91], 1991.

    Google Scholar 

  233. Jacques Loeckx and Annette Hoffmann. Verification in OBSCURE. In [Ehr88], 1988.

    Google Scholar 

  234. Franz Lichtenberger. A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation. In [BW83b], 1983.

    Google Scholar 

  235. Franz Lichtenberger. Problem Types, Data Types, Algorithm Types: Some Examples. In [KW84], 1984.

    Google Scholar 

  236. Udo Lipeck. Composition and Implementation of Parameterized Data Types. In [EL82], 1982.

    Google Scholar 

  237. Udo Lipeck. On the Semantics of the Frame Rule. In [DEGL86], 1986.

    Google Scholar 

  238. Junbo Liu. A Semantic Basis of Logic-Independent Transformation. In [EO94],, pp. 268–279, 1992.

    Google Scholar 

  239. Steffen Lange and Klaus P. Jantke. Inductive Completion for Transformation of Equational Specifications. In [EJOR91],, pp. 117–140, 1990.

    Google Scholar 

  240. Claus-Werner Lermen and Jacques Loeckx. OBSCURE, A New Specification Language. In [Kre85],, pp. 28–30, 1984.

    Google Scholar 

  241. Thomas Lehmann and Jacques Loeckx. The Specification Language of OBSCURE. In [ST88b],, pp. 131–153, 1987.

    Google Scholar 

  242. Thomas Lehmann and Jacques Loeckx. A Calculus for Specification Languages. In [BC91], 1991.

    Google Scholar 

  243. Ulrike Lechner, Christian Lengauer, and Martin Wirsing. An ObjectOriented Airport: Specification and Refinement in Maude. This volume, pp. 351–367, 1994.

    Google Scholar 

  244. Jacques Loeckx. The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types. In [EL82], 1982.

    Google Scholar 

  245. Jacques Loeckx. Program Verification with fewer Tears. In [BW83b], 1983.

    Google Scholar 

  246. Jacques Loeckx. The Specification Language OBSCURE. In [DEGL86], 1986.

    Google Scholar 

  247. Michael Loewe. Using Graph Reduction as Operational Semantics for Algebraic Specifications. In [San87], 1987.

    Google Scholar 

  248. Michael Loewe. Initial Semantics for Algebraic Specifications with Interface. In [JR90], 1990.

    Google Scholar 

  249. Christoph Lueth. Categorical Compositional Term Rewriting in Structured Algebraic Specifications. In [Ore92], 1992.

    Google Scholar 

  250. Alfred Luft. Scientific-Theoretic Foundations of the Concept of Abstract Data Type. In [BW83b], 1983.

    Google Scholar 

  251. Zhaohui Luo. Program Specification and Data Refinement in Type Theory. In [BC91], 1991.

    Google Scholar 

  252. Jacques Loeckx and Markus Wolf. Constructive Specifications are Initial Specifications are Loose Specifications. In [ACR94], 1994.

    Google Scholar 

  253. Bernd Mahr. Three Remarks on the Equational Calculus. In [KW84], 1984.

    Google Scholar 

  254. Bernd Mahr. Term Evaluation in Partial Algebras. In [DEGL86], 1986.

    Google Scholar 

  255. Tom S.E. Maibaum. Structuring of Specifications within a Logical Theory of Data Types. In [BW83b], 1983.

    Google Scholar 

  256. Tom S.E. Maibaum. Modular Construction of Logics for Specification. In [DEGL86], 1986.

    Google Scholar 

  257. Tom S.E. Maibaum. Configuration versus Use: Specification Languages versus Logics. In [Ehr88], 1988.

    Google Scholar 

  258. Vincenzo Manca. Specification of Abstract Data Types with Experiments. In [DEGL86], 1986.

    Google Scholar 

  259. Giancarlo Mauri. OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. In [DEGL86], 1986.

    Google Scholar 

  260. Heinrich C. Mayr. ORS Specifications: Ideas, Application Examples, and Experiences. In [EL82], 1982.

    Google Scholar 

  261. Mila E. Majster-Cederbaum. On the Relation between CPO-Based and Metric Space-Based Semantics for Communicating Sequential Processes. In [BC91], 1991.

    Google Scholar 

  262. Bernhard Moeller and W. Dosch. On the Algebraic Specification of Domains. In [Kre85],, pp. 178–195, 1984.

    Google Scholar 

  263. Karl Meinke. Universal Algebra in Higher Types. In [EJOR91],, pp. 185–203, 1990.

    Google Scholar 

  264. Karl Meinke. Algebraic Specification of Types and Combinators. In [Ore92], 1992.

    Google Scholar 

  265. Karl Meinke. Topological Methods for Algebraic Specifications. This volume, pp. 368–388, 1994.

    Google Scholar 

  266. Pierangelo Miglioli. Abstract Data Types and Constructivism. In [KW84], 1984.

    Google Scholar 

  267. Anamaria Martins and Paul Jacquet. Generalizing Algebraic Specification Components. In [ACR94], 1994.

    Google Scholar 

  268. Jose Meseguer and N. Marti-Oliet. Prom Abstract Data Types to Logical Frameworks. This volume, pp. 48–80, 1994.

    Google Scholar 

  269. Bernhard Moeller. Ordered and Continuous Models of Algebraic Types. In [BW83b], 1983.

    Google Scholar 

  270. Bernhard Moeller. Algebraic Specifications with Higher-Order Operations. In [DEGL86], 1986.

    Google Scholar 

  271. Peter D. Mosses. Action Semantics. In [DEGL86], 1986.

    Google Scholar 

  272. Peter D. Mosses. Combining Facets of Actions. In [San87], 1987.

    Google Scholar 

  273. Peter D. Mosses. Unified Algebras. In [Ehr88], 1988.

    Google Scholar 

  274. Peter D. Mosses. The Use of Sorts in Algebraic Specifications. In [BC93],, pp. 66–92, 1991.

    Google Scholar 

  275. Peter D. Mosses. Unified Algebras and Abstract Syntax. In [EO94],, pp. 280–294, 1992.

    Google Scholar 

  276. Till Mossakowski. A Hierarchy of Institutions Separated by Properties of Parameterized Abstract Data Types. This volume, pp. 389–405, 1994.

    Google Scholar 

  277. Peter D. Mosses. Unified Algebras Revisited. In [ACR94], 1994.

    Google Scholar 

  278. Tom S.E. Maibaum and Martin Sadler. Axiomatizing Specification Theory. In [Kre85],, pp. 171–177, 1984.

    Google Scholar 

  279. Vincenzo Manca and Antonino Salibra. Soundness and Completeness of Many-Sorted Birkhoff's Equational Calculus. In [San87], 1987.

    Google Scholar 

  280. Vincenzo Manca, Antonino Salibra, and Giuseppe Scollo. ADT Specification Constructs for Equational Type Logic. In [JR90], 1990.

    Google Scholar 

  281. Brian McConnel and John V. Tucker. Direct Limits of Algebras and the Parameterization of Synchronous Concurrent Algorithms. In [Ore92], 1992.

    Google Scholar 

  282. Bernhard Moeller, Andrzej Tarlecki, and Martin Wirsing. Algebraic Specifications of Reachable Higher-Order Algebras. In [ST88b],, pp. 154–169, 1987.

    Google Scholar 

  283. Gianfranco F., Mascari and Antonio Vincenzi. Model-Theoretic Specifications and Back-and-Forth Equivalences. In [EJOR91],, pp. 166–184, 1990.

    Google Scholar 

  284. Sigurd Meldal and Michal Walicki. Reasoning with Non-Determinism: Some Examples. In [ACR94], 1994.

    Google Scholar 

  285. Friederike Nicki. On the Solution of Recursive Domain Equations Inside an Algebraic Framework. In [DEGL86], 1986.

    Google Scholar 

  286. Friederike Nicki. Order-Theoretic Specification of Algebras with Non-Monotonic Operations. In [Ehr88], 1988.

    Google Scholar 

  287. Tobias N. Nipkow. Behavioural Implementations of Non-Deterministic Data Types. In [DEGL86], 1986.

    Google Scholar 

  288. Tobias N., Nipkow. Observing Non-Deterministic Data Types. In [ST88b],, pp. 170–183, 1987.

    Google Scholar 

  289. Celso Niskier. Using Multiple Views for Software Specifications. In [San87], 1987.

    Google Scholar 

  290. Maria Pilar Nivela and Fernando Orejas. Initial Behaviour Semantics for Algebraic Specifications. In [ST88b],, pp. 184–207, 1987.

    Google Scholar 

  291. Maria Pilar Nivela and Fernando Orejas. A Module Concept within the Initial Behaviour Framework. In [Ehr88], 1988.

    Google Scholar 

  292. Robert Nieuwenhuis and Fernando Orejas. Clausal Rewriting: Applications and Implementation. In [EJOR91],, pp. 204–219, 1990.

    Google Scholar 

  293. F. Nourani. Abstract Models for Types, Induction, and Proofs. In [BW83b], 1983.

    Google Scholar 

  294. F. Nourani. Forcing with Universal Sentences and Genericity of Inductive Closures. In [BW83b], 1983.

    Google Scholar 

  295. Tobias N. Nipkow and Zhenyu Qian. Reduction and Unification in Lambda Calculi with Subtypes. In [Ore92], 1992.

    Google Scholar 

  296. Fernando Orejas and Maria Pilar Nivela. Constraints for Behavioural Specifications. In [EJOR91],, pp. 220–245, 1990.

    Google Scholar 

  297. Fernando Orejas, M. Navarro, and A. Sanchez. Implementation and Behavioural Equivalence: A Survey. In [BC93],, pp. 93–125, 1991.

    Google Scholar 

  298. Fernando Orejas, Elvira Pino, and Hartmut Ehrig. Algebraic Methods in the Compositional Analysis of Logic Programs. In [ACR94], 1994.

    Google Scholar 

  299. Fernando Orejas. Some Results on Finite Specifiability of Parameterized Data Types. In [BW83b], 1983.

    Google Scholar 

  300. Fernando Orejas. Passing Compatibility is almost Persistency. In [Kre85],, pp. 196–206, 1984.

    Google Scholar 

  301. Fernando Orejas. A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. In [DEGL86], 1986.

    Google Scholar 

  302. Fernando Orejas, editor. Participants' Handout of the 9th Workshop on Abstract Data Type. University of Barcelona, Department of Computer Science, 1992. Internal Report.

    Google Scholar 

  303. Fernando Orejas, A. Sanchez, M. Navarro, Maria Pilar Nivela, and Ricardo Pena. Term Rewriting Methods for Partial Specifications. In [Ehr88], 1988.

    Google Scholar 

  304. Olaf Owe. Partial Logics Reconsidered: A Conservative Approach. In [Ore92], 1992.

    Google Scholar 

  305. Olaf Owe. On Monotonicity in Process Logic. In [ACR94], 1994.

    Google Scholar 

  306. Peter Padawitz. On the Proof of Completeness and Consistency. In [EL82], 1982.

    Google Scholar 

  307. Peter Padawitz. On Logic Programming with Abstract Data Type. In [KW84], 1984.

    Google Scholar 

  308. Peter Padawitz. The Use of Terminal Semantics for Disproving Inductive Theorems. In [DEGL86], 1986.

    Google Scholar 

  309. Peter Padawitz. Inductive Expansion. In [Ehr88], 1988.

    Google Scholar 

  310. Peter Padawitz. On Refinement Proofs. In [BC91], 1991.

    Google Scholar 

  311. Peter Padawitz. Prototyping Specifications with EXPANDER — State of the Art. In [Ore92], 1992.

    Google Scholar 

  312. Peter Padawitz. Proof by Narrowing. In [ACR94], 1994.

    Google Scholar 

  313. Helmut Partsch. Algebraic Specification of a Text Editor. In [BW83b], 1983.

    Google Scholar 

  314. Peter Pepper. On the Algebraic Specification of Programming Languages. In [EL82], 1982.

    Google Scholar 

  315. Peter Pepper. Correctness of Type Transformations. In [BW83b], 1983.

    Google Scholar 

  316. Peter Pepper. An Algebraic View of Local Formalisms. In [Ehr88], 1988.

    Google Scholar 

  317. Heiko Petzsch. Automatic Prototyping of Algebraic Specifications using PROLOG. In [Kre85],, pp. 207–223, 1984.

    Google Scholar 

  318. Udo Pietat. Ideas for the Development of Software Systems on the Basis of Algebraic Specifications. In [EL82], 1982.

    Google Scholar 

  319. Udo Pietat. Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction. In [DEGL86], 1986.

    Google Scholar 

  320. Udo Pietat. Abstract Data Types Meet Knowledge Representation for Natural Language Understanding. In [San87], 1987.

    Google Scholar 

  321. W. Di Palma and Gianfranco F. Mascari. Abstract Data Types and Catagorical Logic. In [BW83b], 1983.

    Google Scholar 

  322. Axel Poigne. Programs over Abstract Data Types. In [BW83b], 1983.

    Google Scholar 

  323. Axel Poigne. Error Handling for Parameterized Data Types. In [Kre85],, pp. 224–239, 1984.

    Google Scholar 

  324. Axel Poigne. Error Handling as Type Checking. In [DEGL86], 1986.

    Google Scholar 

  325. Axel Poigne. Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. In [ST88b],, pp. 208–234, 1987.

    Google Scholar 

  326. Axel Poigne. Towards a Unified Logic for Specification and Programming. In [Ehr88], 1988.

    Google Scholar 

  327. Axel Poigne. Order-Sorted Algebras Revisited. In [BC91], 1991.

    Google Scholar 

  328. Axel Poigne. Identity and Existence, and Types in Algebra — A Survey of Sorts. In [EO94],, pp. 53–78, 1992.

    Google Scholar 

  329. Francesco Parisi-Presicce and Alfonso Pierantonio. Structured Inheritance for Algebraic Class Specifications. In [EO94],, pp. 295–309, 1992.

    Google Scholar 

  330. Francesco Parisi-Presicce and Alfonso Pierantonio. Dynamical Behavior of Object Systems. This volume, pp. 406–419, 1994.

    Google Scholar 

  331. Alfonso Pierantonio and Francesco Parisi-Presicce. Object Dynamics in Class Based Systems. In [ACR94], 1994.

    Google Scholar 

  332. Zhenyu Qian. Parameterization of Order-Sorted Algebraic Specifications with Built-in Coercers. In [Ehr88], 1988.

    Google Scholar 

  333. Gloria Quintanilla. Prototyping of Z Specifications in ML. In [Ehr88], 1988.

    Google Scholar 

  334. Gianna Reggio, Egidio Astesiano, Ernani Crivelli, and Valeria Filippi. Real Systems may be Effectively Formally Specified. In [ACR94], 1994.

    Google Scholar 

  335. Lucia Rapanotti. About Object-Oriented Nets. In [BC91], 1991.

    Google Scholar 

  336. Gianna Reggio. Entities: An Institution for Dynamic Systems. In [EJOR91],, pp. 246–265, 1990.

    Google Scholar 

  337. Gianna Reggio. Event Logic for Specifying Abstract Dynamic Data Types. In [BC93],, pp. 292–309, 1991.

    Google Scholar 

  338. Horst Reichel. Computable Functional Enrichments of Parameterized Behavioural Data Types. In [DEGL86], 1986.

    Google Scholar 

  339. Horst Reichel. Operational Semantics of Behavioural Canons based on Narrowing. In [ST88b], pp. 235–248, 1987.

    Google Scholar 

  340. Horst Reichel. A Two-Category Approach to Critical Pair Completion. In [EJOR91],, pp. 266–273, 1990.

    Google Scholar 

  341. Alestair Reid. Access and Information: A Paradigm for Data Structure Design. In [JR90], 1990.

    Google Scholar 

  342. Horst Reichel. First-Order Specification of Infinite Objects. In [Ore92], 1992.

    Google Scholar 

  343. Wolfgang Reif. Reuse of Proofs in Software Verification. In [Ore92], 1992.

    Google Scholar 

  344. Jean-Luc Remy. Specifications of Errors in Data Types using Conditional Axioms. In [BW83b], 1983.

    Google Scholar 

  345. Catharina Rieckhoff. Towards a Theory for the Animation of Algebraic Specification. In [EO94],, pp. 310–320, 1992.

    Google Scholar 

  346. Colin Runciman. Deriving Functional Programs from Equational Specifications. In [DEGL86], 1986.

    Google Scholar 

  347. Marek Rycko. Mathematics versus Implementation of Partial Evaluators. In [San87], 1987.

    Google Scholar 

  348. Martin Sadler. A Defense of Proof Theory as the Right Foundations. In [DEGL86], 1986.

    Google Scholar 

  349. Don Sannella, editor. Participants' Handout of the 5th Workshop on Abstract Data Type. University of Edinburgh, Department of Computer Science, 1987. Report No. ECS-LFCS-87-41.

    Google Scholar 

  350. Oliver Schoett. Is Data Abstraction Sound? In [BW83b], 1983.

    Google Scholar 

  351. Heinz-Wilhelm Schmidt. Abstract Types of Behaviour: Petri Nets and ADT. In [KW84], 1984.

    Google Scholar 

  352. Oliver Schoett. Distinguishing Strong and Weak Implementations. In [KW84], 1984.

    Google Scholar 

  353. Heinz-Wilhelm Schmidt. Polymorphic Types and Algebraic Specifications. In [DEGL86], 1986.

    Google Scholar 

  354. Heinz-Wilhelm Schmidt. Predicate-Event Nets for Reasoning about Non-Sequential Behaviour. In [San87], 1987.

    Google Scholar 

  355. Oliver Schoett. Data Abstraction and the Correctness of Modular Programming. In [San87], 1987.

    Google Scholar 

  356. Oliver Schoett. On the Expressive Power of an Observational First-Order Specification Language for Abstract Data Types. In [JR90], 1990.

    Google Scholar 

  357. Pierre-Yves Schobbens. Second-Order Proof Systems for Algebraic Specification Languages. In [EO94],, pp. 321–336, 1992.

    Google Scholar 

  358. Giuseppe Scollo. On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. In [DEGL86], 1986.

    Google Scholar 

  359. Giuseppe Scollo. Typed-Equational Types: Pragmatics. In [Ehr88], 1988.

    Google Scholar 

  360. Giuseppe Scollo. On the Engineering of Logics in Software Engineering. In [Ore92], 1992.

    Google Scholar 

  361. Amilcar Sernadas, Jose Felix Costa, and Cristina Sernadas. An institution of object behaviour. In [EO94],, pp. 337–351, 1992.

    Google Scholar 

  362. Richard Seifert. Termination Proofs by Combining Polynomial Interpretation and Recursive Path Ordering. In [Ore92], 1992.

    Google Scholar 

  363. Hui Shi. An Efficient Matching Algoritm for Convergent Rewrite Systems. In [ACR94], 1994.

    Google Scholar 

  364. Don Sannella, Stefan Kahrs, and Andrzej Tarlecki. The Semantics of Extended ML. In [ACR94], 1994.

    Google Scholar 

  365. Gerd Smolka. Polymorphic Order-Sorted Algebra. In [DEGL86], 1986.

    Google Scholar 

  366. Gerd Smolka. Type Logic. In [Ehr88], 1988.

    Google Scholar 

  367. Jeanine Souquieres. A Model for the Expression of the Specification Developments. In [BC91], 1991.

    Google Scholar 

  368. Hansi A. Spec. HANSI Evaluates Algebraic Specifications — You will love it. In [DEGL86], 1986.

    Google Scholar 

  369. R. K. Shyamasundar and N. Raja. Type Systems for Mobile Processes. In [ACR94], 1994.

    Google Scholar 

  370. Antonino Salibra and Giuseppe Scollo. A Soft Stairway to Institutions. In [BC93],, pp. 310–329, 1991.

    Google Scholar 

  371. Antonino Salibra and Giuseppe Scollo. Polymorphies=Categories + Algebras. In [ACR94], 1994.

    Google Scholar 

  372. Amilcar Sernadas, Cristina Sernadas, and Jose Fiadeiro. Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. In [DEGL86], 1986.

    Google Scholar 

  373. Amilcar Sernadas, Cristina Sernadas, and Jose Manuel Valenca. A Theory-Based Topological Notion of Institution. This volume, pp. 420–436, 1994.

    Google Scholar 

  374. Don Sannella and Andrzej Tarlecki. Some Thoughts on Algebraic Specification. In [Kre85],, pp. 31–38, 1984.

    Google Scholar 

  375. Don Sannella and Andrzej Tarlecki. Extended ML: An InstitutionIndependent Framework for Formal Program Development. In [DEGL86], 1986.

    Google Scholar 

  376. Don Sannella and Andrzej Tarlecki. Implementations Revisited. In [San87], 1987.

    Google Scholar 

  377. Don Sannella and Andrzej Tarlecki. Formal Development of ML Programs: Methodological Aspects. In [Ehr88], 1988.

    Google Scholar 

  378. Don Sannella and Andrzej Tarlecki, editors. Recent Trends in Data Type Specification. Springer, Berlin, 1988. LNCS 332.

    Google Scholar 

  379. Don Sannella and Andrzej Tarlecki. A Kernel Specification Formalism with Higher-Order Parameterization. In [EJOR91],, pp. 274–296, 1990.

    Google Scholar 

  380. Don Sannella and Andrzej Tarlecki. Extended ML: Past, Present, and Future. In [EJOR91],, pp. 297–322, 1990.

    Google Scholar 

  381. Vicki Stavridou. Specification and Verification of Programs using OBJ. In [San87], 1987.

    Google Scholar 

  382. Thomas Streicher. Model Theory of Denotational Semantics. In [Kre85],, pp. 240–253, 1984.

    Google Scholar 

  383. Don Sannella and Martin Wirsing. A Kernel Language for Algebraic Specification and Implementation. In [BW83b], 1983.

    Google Scholar 

  384. Thomas Streicher and Martin Wirsing. Dependent Types Considered Necessary for Specification Languages. In [EJOR91],, pp. 323–340, 1990.

    Google Scholar 

  385. Heinz-Wilhelm Schmidt and Richard Walker. Stable Object-Oriented Interface Constructions. In [ACR94], 1994.

    Google Scholar 

  386. Andrzej Tarlecki. Bits and Pieces of the Theory of Institutions. In [DEGL86], 1986.

    Google Scholar 

  387. Andrzej Tarlecki. Towards Formal Development of Programs from Algebraic Specifications: Where do we stand? In [BC91], 1991.

    Google Scholar 

  388. Muffy Thomas. The Storage and Access Structure of Algebraically Specified Data Types. In [DEGL86], 1986.

    Google Scholar 

  389. Muffy Thomas. Towards a Termination Ordering for Loop Programs. In [Ehr88], 1988.

    Google Scholar 

  390. B.C. Thompson-Quintanilla. Generalized Computable Algebra and Its Application to the Implementation of Abstract Data Types. In [Ehr88], 1988.

    Google Scholar 

  391. Andrzej Tarlecki and Marian Srebrny. Tennenbaum's Theorem. In [ACR94], 1994.

    Google Scholar 

  392. T.H. Tse. An Abstract Data Type for Structured System Development Tools. In [San87], 1987.

    Google Scholar 

  393. Judith Underwood. Typing Abstract Data Types. This volume, pp. 437–452, 1994.

    Google Scholar 

  394. Paulo Veloso. Problems as Abstract Data Types: Applications to Program Construction. In [BW83b], 1983.

    Google Scholar 

  395. Paulo Veloso. Choosing a Repertoire of Updates. In [KW84], 1984.

    Google Scholar 

  396. Jos L.M. Vrancken. The Algebraic Specification of Semi-Computable Data Types. In [ST88b],, pp. 249–259, 1987.

    Google Scholar 

  397. Jos L.M. Vrancken. Parallel Object-Oriented Term Rewriting. In [Ehr88], 1988.

    Google Scholar 

  398. Eric G. Wagner. Categorical Semantics, Or Extending Data Types to Include Memory. In [Kre85],, pp. 1–21, 1984.

    Google Scholar 

  399. Eric G. Wagner. Recursive Types and Pointers. In [San87], 1987.

    Google Scholar 

  400. Eric G. Wagner. Generic Types in a Language for Data Directed Design. In [EJOR91],, pp. 341–361, 1990.

    Google Scholar 

  401. Eric G. Wagner. Generic Classes in an Object-Based Language. In [BC93],, pp. 330–344, 1991.

    Google Scholar 

  402. Eric G. Wagner. Overloading and Inheritance. In [EO94],, pp. 79–97, 1992.

    Google Scholar 

  403. Eric G. Wagner. Homomorphic Compilers Utilizing Abstract Data Types. In [ACR94], 1994.

    Google Scholar 

  404. Peter White. Position Paper on Requirement Specification Language Project, In [DEGL86], 1986.

    Google Scholar 

  405. Martin Wirsing. Implementation of Parameterized Hierarchical Specifications. In [EL82], 1982.

    Google Scholar 

  406. Martin Wirsing. Algebraic Specification Languages: An Overview. This volume, pp. 81–115, 1994.

    Google Scholar 

  407. Michal Walicki and Sigurd Meldal. Multi-Algebras and Computations: Two Algebraic Semantics of Non-Determinism. In [Ore92], 1992.

    Google Scholar 

  408. Michal Walicki and Sigurd Meldal. Multi-Algebras, Power Algebras and Complete Calculi of Identities and Inclusions. This volume, pp. 453–468, 1994.

    Google Scholar 

  409. Dietmar Wolz. Compilation of Algebraic Specifications and Term Rewriting Systems. In [Ehr88], 1988.

    Google Scholar 

  410. Dietmar Wolz. Design of a Compiler for Lazy Pattern Driven Narrowing. In [EJOR91],, pp. 362–379, 1990.

    Google Scholar 

  411. Dietmar Wolz. Application of Narrowing for LOTOS Simulation. In [BC91], 1991.

    Google Scholar 

  412. Uwe Wolter. Institutional Frames. This volume, pp. 469–482, 1994.

    Google Scholar 

  413. Burkhard Wolff and Hui Shi. A Calculus of Transformations. In [ACR94], 1994.

    Google Scholar 

  414. Eric G. Wagner, E.J. Selker, and J.D. Rutledge. Algebraic Data Types and Object-Oriented Programming. In [Ehr88], 1988.

    Google Scholar 

  415. Wu Yunzeng. On Formalization and Its Related Notions. In [DEGL86], 1986.

    Google Scholar 

  416. Elena Zucca. Implementation of Data Structures in an Imperative Framework. This volume, pp. 483–487, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik und Informatik, Bremen University, D-28334, Bremen, Germany

    Martin Gogolla

  2. DISI, Universita di Genova, I-16132, Genova, Italy

    Maura Cerioli

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maura Cerioli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egidio Astesiano Gianna Reggio Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gogolla, M., Cerioli, M. (1995). What is an Abstract Data Type, after all?. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014447

Download citation

  • DOI: https://doi.org/10.1007/BFb0014447

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59132-0

  • Online ISBN: 978-3-540-49198-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation