„Rekursives Programmschema“

Suchergebnisse

10 Treffer

• Efficient call-by-value evaluation strategy of primitive recursive program schemes
  Mössle, Andrea ; Vogler, Heiko 1995 Univ., Fak. für Informatik
• Reasoning about terminating functional programs
  Slind, Konrad
• Subrecursive programming systems – complexity & succinctness
  Royer, James S. ; Case, John 1994 Birkhäuser
• Reasoning about terminating functional programs
  Slind, Konrad
• Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata
  Kühnemann, Armin 1997 Shaker
• Semantische Repräsentation komplexer Objektstrukturen – Modelle für nichtkonventionelle Datenbankanwendungen
  Lamersdorf, Winfried 1985 Springer Berlin Heidelberg
• Semantische Repräsentation komplexer Objektstrukturen: 45 Modelle für nichtkonventionelle Datenbankanwendungen
  Lamersdorf, Winfried 1985 Springer
• On algebraic semantics of imperative programming languages
  Krause, Manfred ; Lippe, Wolfram-Manfred ; Simon, Friedemann 1982 Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ.
• Efficient call-by-value evaluation strategy of primitive recursive program schemes
  Mössle, Andrea ; Vogler, Heiko 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Subrecursive Programming Systems – Complexity & Succinctness
  1994 Birkhäuser Boston