„Abstract Data Types“

Suchergebnisse

82 Treffer

• Random access to abstract data types
  Erwig, Martin 2000 Fernuniv., Fachbereich Informatik
• Metamorphic programming: structured recursion for abstract data types
  Erwig, Martin 1998 Fernuniv., Fachbereich Informatik
• Programming for engineers – a foundational approach to learning C and matlab
  Bradley, Aaron R. 2011 Springer
• A clean Modula-2 interface to abstract data types
  Klaeren, Herbert ; Thiemann, Peter 1989 WSI
• Reasoning About Algebraic Data Types with Abstractions
  Pham, Tuan-Hung ; Gacek, Andrew ; Whalen, Michael W.
• On constructive specifications of abstract data types using temporal logic
  Leßke, Frank 1991 SFB 342
• Petri nets and abstract data types
  Reisig, Wolfgang 1989 Bibliothek d. Fak. für Mathematik u. Informatik, TUM
• 3. [Third] Workshop on Theory and Application of Abstract Data Types – November 13th - 16th, 1984
  Kreowski, Hans-Jörg 1984 Fachbereich Mathematik/Informatik, Univ.
• A new class concept supporting abstract data types
  Krause, Manfred ; Rössig, Stephan 1986 Inst. für Informatik u. Prakt. Mathematik
• Programs over abstract data types – on the implementation of abstract data types
  Poigné, Axel ; Voss, Josef 1984 Univ., Abt. Informatik
• Notes on operational semantics of abstract data types and programming languages
  Poigné, Axel 1983 Univ., Abt. Informatik
• Higher order abstract data types - cartesian closure versus λ-calculus [lambda-calculus]
  Poigné, Axel 1983 Abt. Informatik, Univ.
• Modular compiler descriptions based on abstract semantic data types
  Ganzinger, Harald 1984 Univ., Abt. Informatik
• Algebraic implementation of abstract data types
  Ehrig, Hartmut 1980 Techn. Univ., Fachbereich 20, Informatik
• Complexity of algebraic implementations for abstract data types
  Ehrig, Hartmut ; Mahr, Bernd 1980 Techn. Univ., Fachbereich Informatik
• Operational replacement schemes – a practice oriented approach to the specification of abstract data types
  Mayr, Heinrich Christian ; Lockemann, Peter C. ; Dittrich, Klaus R. 1980 Univ., Fak. für Informatik
• Algebraic implementation of abstract data types – concept, syntax, semantics and correctness
  Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Padawitz, Peter 1979 Techn. Univ., Fachbereich Informatik, Inst. für Software u. Theoret. Informatik
• On the theory of specification, implementation and parametrization of abstract data types
  Ehrich, Hans-Dieter 1979 Abt. Informatik, Univ. Dortmund
• Some remarks concerning correct specification and implementation of abstract data types
  Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Padawitz, Peter 1977 Univ.-Bibliothek d. Techn. Univ., Abt. Publ.
• Cartesian closure versus us – higher order abstract data types
  Poigné, Axel 1983 Abt. Informatik, Univ. Dortmund