Live data structures in logic programs
derivation by means of abstract interpretation
Livre Ecrit par: Mulkers, Anne ; Publié en: 1993
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
viii, 220 p. ill.
;24 cm
ISBN: 0387566945
Index décimal
621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème
Informatique
Mots clés:
Programmation logique
Types abstraits de données (informatique)
Structures de données (informatique)
