Two-Level Functional Languages
Inbunden, Engelska, 1992
Av Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, Flemming Nielson, Hanne Riis Nielson
2 169 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
- Utgivningsdatum1992-07-16
- Mått170 x 244 x 19 mm
- Vikt714 g
- FormatInbunden
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor312
- FörlagCambridge University Press
- ISBN9780521403849