Items where author is "Stulova, Nataliia"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 14.

Article

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. "Science of Computer Programming", v. 155 ; pp. 3-26. ISSN 0167-6423. https://doi.org/10.1016/j.scico.2017.12.006.

Monograph

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to static performance guarantees for pograms with run-time checks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to static performance guarantees for programs with Run-time Checks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2017). Term hiding and its impact on run-time check simplification. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). An approach to higher-order assertion-based debugging of higher-order (C)LP programs. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España. https://doi.org/10.1145/2643135.2643148.

Presentation at Congress or Conference

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Exploiting term hiding to reduce run-time checking overhead. In: "20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018)", 08-09 Jan 2018, Los Angeles. ISBN 978-3-319-73305-0. pp. 99-115. https://doi.org/10.1007/978-3-319-73305-0_7.

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.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Towards run-time checks simplification via term hiding. In: "33rd International Conference on Logic Programming (ICLP 2017)", 28 Aug-01 Sep 2017, Melbourne. pp. 1-3. https://doi.org/10.4230/OASIcs.ICLP.2017.9.

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Towards static performance guarantees for programs with run-time checks. In: "34th International Conference on Logic Programming", 14-17 Jul 2018, Oxford. pp. 1-2. https://doi.org/10.4230/OASIcs.ICLP.2018.10.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2016). Reducing the overhead of assertion run-time checks via static analysis. In: "18th International Symposium on Principles and Practice of Declarative Programming (PPDP'16)", 05-07 Sep 2016, Edimburgo, Reino Unido. ISBN 978-1-4503-4148-6. pp. 90-103. https://doi.org/10.1145/2967973.2968597.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2015). Practical run-time checking via unobtrusive property caching. In: "31st International Conference on Logic Programming (ICLP ’15)", 31 Aug-04 Sep 2015, Cork, Irlanda. pp. 726-741. https://doi.org/10.1017/S1471068415000344.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). Towards asertion-based debugging of higher-order (C)LP programs. In: "30th International Conference on Logic Programming (ICLP ’14)", 19-20 Jul 2014, Viena, Austria. pp. 209-210.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). Assertion-based debugging of higher-order (C)LP programs. In: "16th International Symposium on Principles and Practice of Declarative Programming", 08-10 Sep 2014, Canterbury, Reino Unido. ISBN 978-1-4503-2947-7. pp. 225-235. https://doi.org/10.1145/2643135.2643148.

Thesis

Stulova, Nataliia (2018). Improving Run-time Checking in Dynamic Programming Languages. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM).

  • 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