![](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
2. ADT 1983
- Manfred Broy, Martin Wirsing:
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany. University of Passau 1982 - Hartmut Ehrig, Werner Fey, Horst Hansen:
ACT ONE - An Algebraic Specification Language with two Levels of Semantics. ADT 1983 - Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation. ADT 1983 - Claus-Werner Lermen:
OBSCURE - A Language for Algorithmic Specifications. ADT 1983 - Hans-Jörg Kreowski:
Specification of Partial Functions - Only a Tentative Suggestion. ADT 1983 - Bernhard Möller:
Ordered and Continuous Models of Algebraic Types. ADT 1983 - W. Di Palma, Gianfranco Mascari:
Abstract Data Types and Categorical Logic. ADT 1983 - Peter Dybjer:
Towards a Unified Theory of Data Types: Some Categorical Aspects. ADT 1983 - Jacques Loeckx:
Program Verification with fewer Tears. ADT 1983 - F. Nourani:
Abstract Models for Types, Induction, and Proofs. ADT 1983 - Jean-Pierre Jouannaud:
Programming and Checking Data Types with REVE. ADT 1983 - Gérard D. Guiho:
Multi-Operator Algebras. ADT 1983 - Michel Bidoit:
Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. ADT 1983 - Richard Göbel:
Rewrite Rules with Conditions for Algebraic Specifications. ADT 1983 - Jean-Luc Rémy:
Specifications of Errors in Data Types using Conditional Axioms. ADT 1983 - Martin Gogolla:
Algebraic Specification of Subsorts. ADT 1983 - Alfred L. Luft:
Scientific-Theoretic Foundations of the Concept of Abstract Data Type. ADT 1983 - Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin:
Suggestions on the Interpretation of Algebraic Specifications. ADT 1983 - Klaus Drosten:
Executing Specifications using Conditional Axioms. ADT 1983 - F. Nourani:
Forcing with Universal Sentences and Genericity of Inductive Closures. ADT 1983 - Oliver Schoett:
Is Data Abstraction Sound? ADT 1983 - Axel Poigné:
Programs over Abstract Data Types. ADT 1983 - Harald Ganzinger:
Modular Compiler Descriptions based on Abstract Semantic Data Types. ADT 1983 - Paulo A. S. Veloso:
Problems as Abstract Data Types: Applications to Program Construction. ADT 1983 - Udo W. Lipeck, Hans-Dieter Ehrich:
Algebraic Specifications of Database Constraints. ADT 1983 - Peter Pepper:
Correctness of Type Transformations. ADT 1983 - Helmuth Partsch:
Algebraic Specification of a Text Editor. ADT 1983 - Bernhard Hohlfeld:
Implementation of Abstract Data Types in PASCAL Programs. ADT 1983 - Christoph Beierle, Angi Voß:
A Parameterization Concept for Hierarchies of Specifications. ADT 1983 - Fernando Orejas:
Some Results on Finite Specifiability of Parameterized Data Types. ADT 1983 - Franz Lichtenberger:
A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation. ADT 1983 - Herbert Klaeren:
Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications. ADT 1983 - T. S. E. Maibaum:
Structuring of Specifications within a Logical Theory of Data Types. ADT 1983 - Ulrich Grude, Peter Padawitz:
Initial and Fixpoint Semantics of Algebraic Specifications. ADT 1983 - Manfred Broy, Martin Wirsing:
Generalized Heterogeneous Algebras. ADT 1983
![](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.