„Abstract Data Types“

Suchergebnisse

82 Treffer

• Abstract Data Types Can Have Inequations1
  Kondoh, Hidetaka
• Enhanced abstract data types in object-relational databases
  Seshadri, Praveen
• ModPascal report
  Olthoff, Walter 1984 Saarländische Universitäts- und Landesbibliothek
• Semantics of ModPascal
  Olthoff, Walter 1984 Saarländische Universitäts- und Landesbibliothek
• Algebraic domain equations for specifications containing inequational axioms
  Krützer, Gerd 1984 Saarländische Universitäts- und Landesbibliothek
• Implementierungen Abstrakter Datentypen in terminaler Algebrasemantik
  Rome, Erich 1981 Saarländische Universitäts- und Landesbibliothek
• An Approach to Parameterized Continuous Data Types
  Krützer, Gerd 1983 Saarländische Universitäts- und Landesbibliothek
• Ape – An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms
  Bartels, Ulrich ; Olthoff, Walter ; Raulefs, Peter 1981 Saarländische Universitäts- und Landesbibliothek
• Automatic derivation of compact abstract syntax data types from concrete syntax descriptions
  Lorenzen, Florian 2020 Technische Universität Berlin
• Automatic derivation of compact abstract syntax data types from concrete syntax descriptions
  Lorenzen, Florian 2011 TU, Professoren der Fak. IV
• Recent trends in data type specification – selected papers
  1982 Springer
• Feature graphs and abstract data types – a unifying approach
  Beierle, Christoph ; Pletat, Udo 1988 IBM Deutschland, WT LILOG
• Continuous abstract data types
  Tarlecki, Andrzej ; Wirsing, Martin 1986 Dekanat d. Fak. für Mathematik u. Informatik, Univ.
• OBSCURE, a specification language for abstract data types
  Lehmann, Thomas ; Loeckx, Jacques 2013 Saarländische Universitäts- und Landesbibliothek
• The algorithmic specification method of abstract data types – an overview
  Loeckx, Jacques 2013 Saarländische Universitäts- und Landesbibliothek
• Algorithmic specifications – a new specification method for abstract data types
  Loeckx, Jacques 2013 Saarländische Universitäts- und Landesbibliothek
• Some properties of implementations of abstract data types
  Loeckx, Jacques 2011 Saarländische Universitäts- und Landesbibliothek
• Implementations of abstract data types and their correctness proofs
  Loeckx, Jacques 2011 Saarländische Universitäts- und Landesbibliothek
• The algebraic specification of abstract data types
  Guttag, J. V. ; Horning, J. J.
• Random Access to Abstract Data Types
  Erwig, Martin 2017 FernUniversität in Hagen