default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. 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
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 2024-12-27 21:14 CET 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:
