![](/img/cover-not-exists.png)
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-GarcíaVolume:
58
Year:
2005
Language:
english
Pages:
26
DOI:
10.1016/j.scico.2005.02.006
File:
PDF, 820 KB
english, 2005