Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL
Über Two-Level Functional Languages

The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521018470
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 312
  • Veröffentlicht:
  • 22. August 2005
  • Abmessungen:
  • 170x244x17 mm.
  • Gewicht:
  • 493 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Two-Level Functional Languages

The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

Kund*innenbewertungen von Two-Level Functional Languages



Ähnliche Bücher finden
Das Buch Two-Level Functional Languages ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.