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 | |
ISBN | 0387566945. - 3540566945
|
Utgitt | Berlin : Springer , c1993
|
---|---|
Omfang | VIII, 220 s. : ill.
|
Emner | |
ISBN | 0387566945. - 3540566945
|