Fr. 104.40

Flemming Nielson, Flemming (Aarhus Universitet Nielson, Flemming Nielson Nielson, Hanne Riis Nielson, C. J. van Rijsbergen, C. J. van Rijsbergen

Two-Level Functional Languages

English · Paperback / Softback

Shipping usually within 1 to 3 weeks (not available at short notice)

Description

Zusammenfassung 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. Inhaltsverzeichnis 1. Introduction; 2. Types made explicit; 3. Binding-time made explicit; 4. Combinators made explicit; 5. Parametrized semantics; 6. Code generation; 7. Abstract interpretation; 8. Conclusions; Bibliography; Summary of transformation functions; Index.

Product details

Authors	Flemming Nielson, Flemming (Aarhus Universitet Nielson, Flemming Nielson Nielson, Hanne Riis Nielson
Assisted by	C. J. van Rijsbergen (Editor), C. J. van Rijsbergen (Editor)
Publisher	Cambridge University Press ELT

Languages	English
Product format	Paperback / Softback
Released	22.08.2005

EAN	9780521018470
ISBN	978-0-521-01847-0
No. of pages	312
Series	Cambridge Tracts in Theoretica
Subject	Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.