Semantics, applications and implementation of program generation: international workshop, saig 2000 montreal, canada, september 20, 2000 proceedings
Auteur :
Taha, Walid
ISBN :
9783540410546
Date de publication :
6 sept. 2000
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
348 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this volume cover topics such as multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.