Mulkers, Anne.
Live Data Structures in Logic Programs Derivation by means of abstract interpretation - Berlin Springer Verlag 1993 - 220 - Lecture notes in computer science ; 00675 .
3540566945
Computer Science
681 LNCS
Live Data Structures in Logic Programs Derivation by means of abstract interpretation - Berlin Springer Verlag 1993 - 220 - Lecture notes in computer science ; 00675 .
3540566945
Computer Science
681 LNCS