Bestellen Terug

Hoofdkenmerken

Auteur:	Nielson, Flemming
Titel:	Two-Level Functional Languages
Uitgever:	Cambridge University Press
ISBN:	9780521018470
Serie:	Cambridge Tracts in Theoretical Computer Science
Serie:	Cambridge Tracts in Theoretical Computer Science
Land van oorsprong:	United Kingdom
Prijs:	€ 63.32
Verschijningsdatum:	22-08-2005
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Geillustreerd:	35 Tables, unspecified; 4 Line drawings, unspecified

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	312
Hoogte mm.:	244
Breedte mm.:	170
Dikte mm.:	17
Gewicht gr.:	493

 

Inhoud:

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.