Export: A generic framework for context-sensitive analysis of modular programs

Puebla Sánchez, Alvaro Germán and Correas Fernandez, Jesús and Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and García de la Banda, M. and Marriott, K. and Stuckey, P.J. (2004). A generic framework for context-sensitive analysis of modular programs. In: "Program Development in Computational Logic". Lecture Notes in Computer Science (3049). Springer Berlin Heidelberg, pp. 233-260. ISBN 978-3-540-22152-4. https://doi.org/10.1007/978-3-540-25951-0_8.

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