PhD thesis,

Freeness and related analyses of constraint logic programs using abstract interpretation.

.
Katholieke Universiteit Leuven, Belgium, (1994)base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/134598).

Meta data

Tags

Users

  • @dblp

Comments and Reviews