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

Bibliographic Details

Main Author:	Mulkers, Anne, 1960-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	Lecture notes in computer science ; 675.
Subjects:	Data structures (Computer science) Abstract data types (Computer science)