default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. ADT 1986
- Klaus Drosten, Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck:
Proceedings of the 4st Workshop on Abstract Data Type, 1986. University of Braunschweig, Germany. 1986 - Hartmut Ehrig:
Towards an Algebraic Semantics of the ISO Specification Language LOTOS. ADT 1986 - Andrzej Tarlecki:
Bits and Pieces of the Theory of Institutions. ADT 1986 - Axel Poigné:
Error Handling as Type Checking. ADT 1986 - Heinz W. Schmidt:
Polymorphic Types and Algebraic Specifications. ADT 1986 - Gert Smolka:
Polymorphic Order-Sorted Algebra. ADT 1986 - Martin Gogolla:
Exception Handling and Subsorts. ADT 1986 - Paul Boehm:
The ACT System - A Software Environment for ACT ONE Specifications. ADT 1986 - Muffy Thomas:
The Storage and Access Structure of Algebraically Specified Data Types. ADT 1986 - Friederike Nickl:
On the Solution of Recursive Domain Equations Inside an Algebraic Framework. ADT 1986 - Bernhard Möller:
Algebraic Specifications with Higher-Order Operations. ADT 1986 - Hans-Dieter Ehrich:
Towards an Algebraic Semantics for Databases. ADT 1986 - T. S. E. Maibaum:
Modular Construction of Logics for Specification. ADT 1986 - Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro:
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT 1986 - Udo W. Lipeck:
On the Semantics of the Frame Rule. ADT 1986 - M. R. Sadler:
A Defense of Proof Theory as the Right Foundations. ADT 1986 - Gilles Bernot:
Abstract Implementation with Exception Handling. ADT 1986 - Vincenzo Manca:
Specification of Abstract Data Types with Experiments. ADT 1986 - Giuseppe Scollo:
On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. ADT 1986 - Harald Ganzinger:
Knuth-Bendix Completion for Parametric Specifications with Conditional Equations. ADT 1986 - Peter D. Mosses:
Action Semantics. ADT 1986 - Pere Botella:
Abstract Data Types, Program Schema, and Programming Environments. ADT 1986 - Horst Hansen:
From Algebraic Specifications towards Algebraic Programs. ADT 1986 - Giancarlo Mauri:
OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. ADT 1986 - Christine Choppy:
Complexity of Abstract Data Types. ADT 1986 - Klaus P. Jantke:
Recursion-Theoretic Problems in Abstract Data Type Theory. ADT 1986 - Peter Padawitz:
The Use of Terminal Semantics for Disproving Inductive Theorems. ADT 1986 - Horst Reichel:
Computable Functional Enrichments of Parameterized Behavioural Data Types. ADT 1986 - Bernd Mahr:
Term Evaluation in Partial Algebras. ADT 1986 - Klaus Drosten:
Term Rewriting Systems with Restricted Variables. ADT 1986 - Hansi A. Spec:
HANSI Evaluates Algebraic Specifications - You will love it. ADT 1986 - Colin Runciman:
Deriving Functional Programs from Equational Specifications. ADT 1986 - Peter Brueck:
ADT as a Design Concept for CHILL. ADT 1986 - Michel Bidoit:
The PLUSS Specification Language. ADT 1986 - Werner Fey:
The Module Specification Language ACT TWO. ADT 1986 - Fernando Orejas:
A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. ADT 1986 - Peter White:
Position Paper on Requirement Specification Language Project. ADT 1986 - Donald Sannella, Andrzej Tarlecki:
Extended ML: An Institution-Independent Framework for Formal Program Development. ADT 1986 - Hans-Jörg Kreowski:
Based Algebras. ADT 1986 - Jacques Loeckx:
The Specification Language OBSCURE. ADT 1986 - Tobias Nipkow:
Behavioural Implementations of Non-Deterministic Data Types. ADT 1986 - Udo Pletat:
Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction. ADT 1986 - Wu Yunzeng:
On Formalization and Its Related Notions. ADT 1986 - Christoph Beierle:
Vertical and Horizontal Compositions of Implementation Specifications. ADT 1986 - Rolf Hennicker:
An Implementation Concept for Observational Specifications. ADT 1986 - Gilles Bernot:
Correctness Proofs for Abstract Implementations. ADT 1986
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-11-14 21:12 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:
