The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ADT"( http://dblp.L3S.de/Venues/ADT )

URL (DBLP): http://dblp.uni-trier.de/db/conf/adt

Publication years (Num. hits)
1982 (21) 1983 (34) 1984 (18) 1985-1986 (47) 1987-1988 (55) 1990 (19) 1991-2009 (41) 2011 (26) 2013 (34) 2015 (39) 2017 (32) 2019 (11)
Publication types (Num. hits)
inproceedings(364) proceedings(13)
Venues (Conferences, Journals, ...)
ADT(377)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 38 keywords

Results
Found 377 publication records. Showing 377 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hans-Dieter Ehrich Towards an Algebraic Semantics for Databases. Search on Bibsonomy ADT The full citation details ... 1986 DBLP  BibTeX  RDF
1Heinz W. Schmidt Polymorphic Types and Algebraic Specifications. Search on Bibsonomy ADT The full citation details ... 1986 DBLP  BibTeX  RDF
1Hartmut Ehrig Towards an Algebraic Semantics of the ISO Specification Language LOTOS. Search on Bibsonomy ADT The full citation details ... 1986 DBLP  BibTeX  RDF
1Hans-Jörg Kreowski (eds.) Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers Search on Bibsonomy ADT The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Hartmut Ehrig, Werner Fey, Horst Hansen Towards Abstract User Interfaces for Formal System Specifications. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Angi Voß Implementation Specifications. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Eric G. Wagner Categorical Semantics, Or Extending Data Types to Include Memory. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1T. S. E. Maibaum, M. R. Sadler Axiomatizing Specification Theory. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Stéphane Kaplan Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Hans-Dieter Ehrich Algebraic (?) Specification of Conceptual Database Schemata. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Claus-Werner Lermen, Jacques Loeckx OBSCURE, A New Specification Language. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Klaus-Peter Hasler, Jan de Meer OSI Transport Service Considered as an Abstract Data Type. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Michel Bidoit, Christine Choppy, Frédéric Voisin The ASSPEGIQUE Specification Environment - Motivations and Design. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Axel Poigné Error Handling for Parameterized Data Types. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Heiko Petzsch Automatic Prototyping of Algebraic Specifications using PROLOG. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Rolf Hennicker, Martin Wirsing Observational Specification: A Birkhoff Theorem. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Bernd Krieg-Brückner Transformation of Interface Specifications. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Fernando Orejas Passing Compatibility is almost Persistency. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Donald Sannella, Andrzej Tarlecki Some Thoughts on Algebraic Specification. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Thomas Streicher Model Theory of Denotational Semantics. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Martin Gogolla A Final Algebra Semantics for Errors and Exceptions. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Walter Dosch On the Algebraic Specification of Domains. Search on Bibsonomy ADT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Martin Gogolla Algebraic Specification of Subsorts. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Christoph Beierle, Angi Voß A Parameterization Concept for Hierarchies of Specifications. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Axel Poigné Programs over Abstract Data Types. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Manfred Broy, Martin Wirsing Generalized Heterogeneous Algebras. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Jean-Luc Rémy Specifications of Errors in Data Types using Conditional Axioms. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Udo W. Lipeck, Hans-Dieter Ehrich Algebraic Specifications of Database Constraints. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Jacques Loeckx Program Verification with fewer Tears. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Helmuth Partsch Algebraic Specification of a Text Editor. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Oliver Schoett Is Data Abstraction Sound? Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Ulrich Grude, Peter Padawitz Initial and Fixpoint Semantics of Algebraic Specifications. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Franz Lichtenberger A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Donald Sannella, Martin Wirsing A Kernel Language for Algebraic Specification and Implementation. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Richard Göbel Rewrite Rules with Conditions for Algebraic Specifications. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1F. Nourani Forcing with Universal Sentences and Genericity of Inductive Closures. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Hans-Jörg Kreowski Specification of Partial Functions - Only a Tentative Suggestion. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1F. Nourani Abstract Models for Types, Induction, and Proofs. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1T. S. E. Maibaum Structuring of Specifications within a Logical Theory of Data Types. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Gérard D. Guiho Multi-Operator Algebras. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Fernando Orejas Some Results on Finite Specifiability of Parameterized Data Types. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Harald Ganzinger Modular Compiler Descriptions based on Abstract Semantic Data Types. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud Programming and Checking Data Types with REVE. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Paulo A. S. Veloso Problems as Abstract Data Types: Applications to Program Construction. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Bernhard Hohlfeld Implementation of Abstract Data Types in PASCAL Programs. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Michel Bidoit Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Alfred L. Luft Scientific-Theoretic Foundations of the Concept of Abstract Data Type. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin Suggestions on the Interpretation of Algebraic Specifications. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Peter Pepper Correctness of Type Transformations. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Peter Dybjer Towards a Unified Theory of Data Types: Some Categorical Aspects. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Hartmut Ehrig, Werner Fey, Horst Hansen ACT ONE - An Algebraic Specification Language with two Levels of Semantics. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Klaus Drosten Executing Specifications using Conditional Axioms. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1W. Di Palma, Gianfranco Mascari Abstract Data Types and Categorical Logic. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Claus-Werner Lermen OBSCURE - A Language for Algorithmic Specifications. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Herbert Klaeren Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Bernhard Möller Ordered and Continuous Models of Algebraic Types. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Manfred Broy, Martin Wirsing (eds.) Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Werner Fey From Requirements to Design Specification. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Udo Pletat Ideas for the Development of Software Systems on the Basis of Algebraic Specifications. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Peter Pepper On the Algebraic Specification of Programming Languages. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Hartmut Ehrig Parameterized Data Types and Parameter Passing. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Hans-Dieter Ehrich Algebraic Domain Equations. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Jan A. Bergstra Specification of Parameterized Data Types. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Peter Padawitz On the Proof of Completeness and Consistency. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Gregor Engels, Martin Gogolla Error Handling in Algebraic Specifications. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Martin Wirsing Implementation of Parameterized Hierarchical Specifications. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Christoph Beierle, Angi Voß Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Udo W. Lipeck Composition and Implementation of Parameterized Data Types. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Jacques Loeckx The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Hans-Jörg Kreowski An Algebraic Implementation Concept for Abstract Data Types. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Harald Ganzinger Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Hans-Dieter Ehrich, Udo W. Lipeck (eds.) Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Hans-Dieter Ehrich Operational Aspects of Algebraic Specifications. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Herbert Klaeren Parameterized Software Specifications with Inductively Defined Operations. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Hartmut Ehrig ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Klaus-Peter Hasler, Michael Löwe, Michaela Reisin An Interpreter for Algebraic Specifications with User Controlled Termination. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
1Heinrich C. Mayr ORS Specifications: Ideas, Application Examples, and Experiences. Search on Bibsonomy ADT The full citation details ... 1982 DBLP  BibTeX  RDF
Displaying result #301 - #377 of 377 (100 per page; Change: )
Pages: [<<][1][2][3][4]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license