Marknadens största urval
Snabb leverans
Om 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521403849
  • Format:
  • Inbunden
  • Sidor:
  • 312
  • Utgiven:
  • 16. juli 1992
  • Mått:
  • 170x244x19 mm.
  • Vikt:
  • 714 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning av 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.

Användarnas betyg av Two-Level Functional Languages



Hitta liknande böcker
Boken Two-Level Functional Languages finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.