Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-18 20:19 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:
