
Conte aos seus amigos sobre este item:
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.
311 pages, 4 b/w illus. 35 tables
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 16 de julho de 1992 |
ISBN13 | 9780521403849 |
Editoras | Cambridge University Press |
Páginas | 312 |
Dimensões | 170 × 244 × 19 mm · 714 g |
Idioma | English |
Ver tudo de Nielson, Flemming (Aarhus Universitet, Denmark) ( por exemplo Paperback Book e Hardcover Book )