Export: Description and optimization of abstract machines in a dialect of Prolog

Morales Caballero, José Francisco and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2015). Description and optimization of abstract machines in a dialect of Prolog. "Theory and Practice of Logic Programming", v. 16 (n. 1); pp. 1-58. ISSN 1475-3081. https://doi.org/10.1017/S1471068414000672.

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