Articoli correlati a Two-Level Functional Languages: 34

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
GPSR Kontakt
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Germania