Logic program synthesis and transformation: 5th international workshop, lopstr '95, utrecht, the netherlands, september 20-22, 1995. proceedings
Auteur :
Proietti, Maurizio
ISBN :
9783540609391
Date de publication :
6 mars 1996
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
402 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.