Two-Level Functional Languages

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.

Détails du produit

• Auteurs: Flemming Nielson, Flemming (Aarhus Universitet Nielson, Flemming Nielson Nielson, Hanne Riis Nielson
• Collaboration: C. J. van Rijsbergen (Editeur), C. J. van Rijsbergen (Editeur)
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 22.08.2005
• EAN: 9780521018470
• ISBN: 978-0-521-01847-0
• Pages: 312
• Thème: Cambridge Tracts in Theoretica
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique