Export: Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco (1999). Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In: "The Logic Programming Paradigm". Artificial Intelligence, Part I . Springer Berlin Heidelberg, pp. 161-192. ISBN 9783642642494. https://doi.org/10.1007/978-3-642-60085-2_7.
Please select an output format: