Logic-based program synthesis and transformation: 9th international workshop, lopstr'99, venice, italy, september 22-24, 1999 selected papers
Auteur :
Bossi, Annalisa
ISBN :
9783540676287
Date de publication :
7 juin 2000
Dimensions :
23,3 x 15,5 x 1,7 cm
Poids :
467 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text constitutes the refereed post-proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'99. It is divided into topical sections on software development, analysis and specialization, transformation, and verification.