Live datastructures in logic programs
Subtitle: derivation by means of abstract interpretation
By: Anne Mulkers.
Series: Lecture notes in computer science -- 675
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 220
Subjects: Data structures (Computer science); Abstract data types (Computer science)
Notes: Includesbibliographical references.