Live data structures in logic programs : derivation by means of abstract interpretation

Anne Mulkers
Bok · Engelsk · 1993

Utgitt	Berlin : Springer , c1993
Omfang	VIII, 220 s. : ill.
Emner	Abstract data types (Computer science) Data structures (Computer science) Kompilatordesign Logikkprogrammering Vis mer... Optimalisering Optimering : (NO-TrBIB)REAL006138 Programanalyse
ISBN	0387566945. - 3540566945