Live data structures in logic programs
Subtitle: derivation by means of abstract interpretation
By: Anne Mulkers.
Series: Lecture notes in computer science ;; 675
Publisher: Springer-Verlag; Springer
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: Includes bibliographical references (p. 213-220).