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:

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM