Two-Level Functional Languages
Häftad, Engelska, 2005
Av Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
899 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2005-08-22
- Mått170 x 244 x 17 mm
- Vikt493 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor312
- FörlagCambridge University Press
- ISBN9780521018470