Export: Static performance guarantees for programs with Run-time Checks

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Static performance guarantees for programs with Run-time Checks. In: "20th International Symposium on Principles and Practice of Declarative Programming (PPDP '18)", 03-05 Sep 2018, Frankfurt. ISBN 978-1-4503-6441-6. pp. 1-13. https://doi.org/10.1145/3236950.3236970.

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