Two-Level Functional Languages
af Flemming (Aarhus Universitet Nielson
Bog, Paperback, Engelsk, 2005
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.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO414,95 kr.39,95 kr.UkendtKøb for 414,95 kr.Køb
- Bogreolen583,95 kr.34,95 kr.2-4 ugerKøb for 583,95 kr.Køb
- Tales584,95 kr.34,95 kr.2-4 ugerKøb for 584,95 kr.Køb
- Pling BØGER584,95 kr.34,95 kr.2-4 ugerKøb for 584,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9780521018470
- Udgivet22/08/2005
- Udgivet afCambridge University Press
- Længde312 sider
- ForfatterFlemming (Aarhus Universitet Nielson
- GenreBusiness og læring, Computer og IT