![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
6. ADT 1988
- Hartmut Ehrig:
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany. 1988 - Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe:
Algebraic Theory of Modular Specification Development. ADT 1988 - Pilar Nivela, Fernando Orejas:
A Module Concept within the Initial Behaviour Framework. ADT 1988 - Magne Haveraaen:
The PAL Module Concept. ADT 1988 - John W. Gray:
Executable Specifications for Data Type Constructors. ADT 1988 - Klaus P. Jantke:
On Solving Divergence in Knuth-Bendix Completion. ADT 1988 - Muffy Thomas:
Towards a Termination Ordering for Loop Programs. ADT 1988 - Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena:
Term Rewriting Methods for Partial Specifications. ADT 1988 - Heinrich Hußmann:
Prototyping Non-Deterministic Algebraic Specifications using the RAP System. ADT 1988 - Jos L. M. Vrancken:
Parallel Object-Oriented Term Rewriting. ADT 1988 - Hans-Jörg Kreowski:
Complexity in Algebraic Specifications: An Upper Bound Result. ADT 1988 - Giuseppe Scollo:
Typed-Equational Types: Pragmatics. ADT 1988 - Jordi Farrés-Casals:
Proving Constructor Implementations in Two Steps. ADT 1988 - Peter Pepper:
An Algebraic View of Local Formalisms. ADT 1988 - Donald Sannella, Andrzej Tarlecki:
Formal Development of ML Programs: Methodological Aspects. ADT 1988 - T. S. E. Maibaum:
Configuration versus Use: Specification Languages versus Logics. ADT 1988 - Peter Padawitz:
Inductive Expansion. ADT 1988 - Dieter Hofbauer, Ralf-Detlef Kutsche:
Proving Inductive Theorems in Equational Theories. ADT 1988 - Gert Smolka:
Type Logic. ADT 1988 - Zhenyu Qian:
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. ADT 1988 - Jacques Loeckx, Annette Hoffmann:
Verification in OBSCURE. ADT 1988 - Kieran Clenaghan:
Abstract Architecture of an Interactive Programming System. ADT 1988 - Egidio Astesiano, Maura Cerioli:
Models and Logical Deduction in Partial Higher-Order Conditional Specifications. ADT 1988 - Anne E. Haxthausen:
Mutually Recursive Algebraic Domain Equations. ADT 1988 - Friederike Nickl:
Order-Theoretic Specification of Algebras with Non-Monotonic Operations. ADT 1988 - Peter D. Mosses:
Unified Algebras. ADT 1988 - Axel Poigné:
Towards a Unified Logic for Specification and Programming. ADT 1988 - Michael Hanus:
Horn Clause Specifications with Polymorphic Types. ADT 1988 - Michel Bidoit:
Recent Development of the PLUSS Specification Language. ADT 1988 - Ingo Claßen:
A Revised Version of ACT ONE. ADT 1988 - Dietmar Wolz:
Compilation of Algebraic Specifications and Term Rewriting Systems. ADT 1988 - Mohamed Bettaz:
Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. ADT 1988 - Silvia Clerici, Fernando Orejas, Pere Botella:
The Specification Language for the GESTALT Environment. ADT 1988 - Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas:
Objects and Object Types. ADT 1988 - Eric G. Wagner, Edwin J. Selker, Joseph D. Rutledge:
Algebraic Data Types and Object-Oriented Programming. ADT 1988 - Dean Jacobs, Bernd Mahr:
Concepts of Algebraic Database Programming Languages. ADT 1988 - Christian Dimitrovici:
Projection Spaces. ADT 1988 - Harald-Reto Fonio:
Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems. ADT 1988 - Gloria Quintanilla:
Prototyping of Z Specifications in ML. ADT 1988 - B. C. Thompson-Quintanilla:
Generalized Computable Algebra and Its Application to the Implementation of Abstract Data Types. ADT 1988 - Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. ADT 1988
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.