![](/img/cover-not-exists.png)
Polymorphic type analysis in logic programs by abstract interpretation
Lunjin LuVolume:
36
Year:
1998
Language:
english
Pages:
54
DOI:
10.1016/s0743-1066(97)10010-3
File:
PDF, 3.82 MB
english, 1998