„Abstract Data Types“

Suchergebnisse

82 Treffer

• A systematic catalogue of reusable abstract data types
  Uhl, Jürgen ; Schmid, Hans Albrecht 1990 Springer
• Restructuring a compiler by abstract data types – an experiment in using data abstractions for software modularization
  Bothe, Klaus 1981 Sekt. Mathematik d. Humboldt-Universität
• Horn clause specifications – a uniform framework for abstract data types and logic programming
  Padawitz, Peter 1985 Dekanat d. Fak. für Mathematik u. Informatik, Univ.
• Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets
  Schmidt, Heinz Wilhelm 1989 Oldenbourg
• Recent trends in data type specification
  1985 Springer
• Introduction to programming by abstract data types – with 53 examples, 59 exercises and CD-ROM
  Forbrig, Peter 2001 Fachbuchverl. Leipzig im Carl-Hanser-Verl.
• Specification of transition categories – an approach to dynamic abstract data types
  Große-Rhode, Martin
• Partial abstract types
  Broy, Manfred ; Wirsing, Martin
• Specification of abstract data types
  Loeckx, Jacques ; Ehrich, Hans-Dieter ; Wolf, Markus 1996 Wiley Teubner
• Recent trends in data type specification – selected papers
  Haveraaen, Magne 1996 Springer
• OBSCURE a specification language for abstract data types
  Lehmann, Thomas ; Loeckx, Jacques
• Two impossibility theorems on behaviour specification of abstract data types
  Schoett, Oliver
• Methodical specification of abstract data types via rewriting systems
  Veloso, P. A. S.
• Abstract Data Types and Type Theory: Theories as Types
  de Queiroz, Ruy J. G. B. ; Maibaum, Thomas S. E.
• Programming with JAVA – JAVA PROGRAMMING
  Singh, Ummed 2023 BookRix
• Bibliography on Abstract Data Types
  Kutzler, Bernhard ; Lichtenberger, Franz 1983 Springer Berlin Heidelberg
• Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types
  Sherman, Mark Steven 1985 Springer
• Bibliography on abstract data types
  Kutzler, Bernhard ; Lichtenberger, Franz 1983 Springer
• A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
  Girard, Jean-François ; Koschke, Rainer ; Schied, Georg
• A practical example of the specification of abstract data types
  Tompa, Frank W.