default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. 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
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.
last updated on 2025-04-27 18:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
