Export: Compile-time derivation of variable dependency using abstract interpretation

Muthukumar, Kalyan and Hermenegildo, Manuel V. (1992). Compile-time derivation of variable dependency using abstract interpretation. "Journal of logic programming", v. 13 (n. 2/3); pp. 315-347. ISSN 1567-8326. https://doi.org/10.1016/0743-1066(92)90035-2.

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