Logic program synthesis and transformation: 6th international workshop, lopstr '96, stockholm, sweden, august 28-30, 1996, proceedings
Auteur :
Gallagher, John P.
ISBN :
9783540627180
Date de publication :
12 mars 1997
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
1060 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constituting the proceedings of a workshop on logic program synthesis and transformation held on board a ship sailing from Stockholm to Helsinki in August 1996, the 17 papers cover topics such as synthesis of programs from specifications, transformation, specialization and analysis of programs.