Export: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Bueno Carrillo, Francisco and Hermenegildo, Manuel V. and López García, Pedro and Puebla Sánchez, Alvaro Germán (2005). Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). "Science of computer programming", v. 58 (n. 1-2); pp. 115-140. ISSN 0167-6423. https://doi.org/10.1016/j.scico.2005.02.006.
Please select an output format:
