„Abstract Data Type“

Suchergebnisse

108 Treffer

• A generalized abstract data type concept
  Bothe, Klaus 1980 Humboldt-Univ., Sekt. Mathematik
• 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
• Extensions and implementations of abstract data type specifications
  Ehrich, Hans-Dieter 1978 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
• Specification and verification of abstract data types
  Bothe, Klaus 1979 Sekt. Mathematik d. Humboldt-Univ.
• Ham-Sandwich Cuts for Abstract Order Types
  Felsner, Stefan ; Pilz, Alexander