Items where author is "Pietrzak, Pawel"

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

Presentation at Congress or Conference

Pietrzak, Pawel and Correas Fernandez, Jesús and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2008). A Practical Type Analysis for Verification of Modular Prolog Programs. In: "ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation , PEPM'08", 07/01/2008-08/01/2008, San Francisco, USA. ISBN 978-1-59593-977-7.

Pietrzak, Pawel and Hermenegildo, Manuel V. (2007). Automatic binding-related error diagnosis in logic programs. In: "23rd International Conference, ICLP 2007", September 8-13, 2007, Porto, Portugal. ISBN 978-3-540-74608-9.

Pietrzak, Pawel and Correas Fernandez, Jesús and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2006). Context-sensitive multivariant assertion checking in modular programs. In: "13th International Conference, LPAR 2006", November 13-17, 2006, Phnom Penh, Cambodia. ISBN 978-3-540-48281-9.

  • 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