Vertel uw vrienden over dit artikel:
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science Nielson, Flemming (Aarhus Universitet, Denmark)
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science
Nielson, Flemming (Aarhus Universitet, Denmark)
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.
312 pages, 4 b/w illus. 35 tables
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 22 augustus 2005 |
| ISBN13 | 9780521018470 |
| Uitgevers | Cambridge University Press |
| Pagina's | 312 |
| Afmetingen | 170 × 244 × 17 mm · 493 g |
| Taal en grammatica | Engels |
| Serie-editor | Abramsky, S. |
| Serie-editor | Aczel, P. H. |
| Serie-editor | Bakker, J. W. De |
| Serie-editor | Gurevich, Y. |
| Serie-editor | Tucker, J. V. |
| Serie-editor | Van Rijsbergen, C. J. |
Bekijk alles van Nielson, Flemming (Aarhus Universitet, Denmark) ( bijv. Paperback Book en Hardcover Book )