Two-Level Functional Languages: 34 - Rilegato

Nielson, Flemming; Nielson, Hanne Riis

 
9780521403849: Two-Level Functional Languages: 34
Rilegato
ISBN 10: 0521403847 ISBN 13: 9780521403849
Casa editrice: Cambridge University Press, 1992

Sinossi

This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

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.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
0521403847
ISBN 13 
9780521403849
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
312
Contatto del produttore
non disponibile
Persona responsabile
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Altre edizioni note dello stesso titolo

9780521018470: Two Level Functional Languages

Edizione in evidenza

ISBN 10:  0521018471 ISBN 13:  9780521018470
Casa editrice: Cambridge University Press, 2008
Brossura