default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. ADT 1982
- Hans-Dieter Ehrich, Udo W. Lipeck:
Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany. University of Dortmund 1982 - Christoph Beierle, Angi Voß:
Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. ADT 1982 - Jan A. Bergstra:
Specification of Parameterized Data Types. ADT 1982 - Hans-Dieter Ehrich:
Operational Aspects of Algebraic Specifications. ADT 1982 - Hartmut Ehrig:
ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. ADT 1982 - Hartmut Ehrig:
Parameterized Data Types and Parameter Passing. ADT 1982 - Gregor Engels, Martin Gogolla:
Error Handling in Algebraic Specifications. ADT 1982 - Werner Fey:
From Requirements to Design Specification. ADT 1982 - Klaus-Peter Hasler, Michael Löwe, Michaela Reisin:
An Interpreter for Algebraic Specifications with User Controlled Termination. ADT 1982 - Harald Ganzinger:
Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability. ADT 1982 - Herbert Klaeren:
Parameterized Software Specifications with Inductively Defined Operations. ADT 1982 - Hans-Jörg Kreowski:
An Algebraic Implementation Concept for Abstract Data Types. ADT 1982 - Udo W. Lipeck:
Composition and Implementation of Parameterized Data Types. ADT 1982 - Jacques Loeckx:
The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types. ADT 1982 - Heinrich C. Mayr:
ORS Specifications: Ideas, Application Examples, and Experiences. ADT 1982 - Peter Padawitz:
On the Proof of Completeness and Consistency. ADT 1982 - Peter Pepper:
On the Algebraic Specification of Programming Languages. ADT 1982 - Hans-Dieter Ehrich:
Algebraic Domain Equations. ADT 1982 - Udo Pletat:
Ideas for the Development of Software Systems on the Basis of Algebraic Specifications. ADT 1982 - Martin Wirsing:
Implementation of Parameterized Hierarchical Specifications. ADT 1982
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-10-31 20:23 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:
