Live data structures in logic programs: derivation by means of abstract interpretation
Auteur :
Mulkers, Anne
Éditeur :
Mulkers, Anne
ISBN :
9783540566946
Date de publication :
27 mai 1993
Dimensions :
23,3 x 15,5 x 1,2 cm
Poids :
760 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstract interpretation for logic programs.