IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v8y2020i6p864-d363174.html
   My bibliography  Save this article

A Semantic Framework to Debug Parallel Lazy Functional Languages

Author

Listed:
  • Alberto de la Encina

    (Facultad Informática, Universidad Complutense, 28040 Madrid, Spain)

  • Mercedes Hidalgo-Herrero

    (Facultad Educación–Centro Formación Profesorado, Universidad Complutense, 28040 Madrid, Spain)

  • Luis Llana

    (Facultad Informática, Universidad Complutense, 28040 Madrid, Spain
    Instituto de Tecnologías del Conocimiento, Universidad Complutense, 28040 Madrid, Spain)

  • Fernando Rubio

    (Facultad Informática, Universidad Complutense, 28040 Madrid, Spain
    Instituto de Tecnologías del Conocimiento, Universidad Complutense, 28040 Madrid, Spain)

Abstract

It is not easy to debug lazy functional programs. The reason is that laziness and higher-order complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder. In this case, it is important to implement debugging platforms for parallel extensions, but it is also important to provide theoretical foundations to simplify the task of understanding the debugging process. In this work, we deal with the debugging process in two parallel languages that extend the lazy language Haskell. In particular, we provide an operational semantics that allows us to reason about our parallel extension of the sequential debugger Hood. In addition, we show how we can use it to analyze the amount of speculative work done by the processes, so that it can be used to optimize their use of resources.

Suggested Citation

  • Alberto de la Encina & Mercedes Hidalgo-Herrero & Luis Llana & Fernando Rubio, 2020. "A Semantic Framework to Debug Parallel Lazy Functional Languages," Mathematics, MDPI, vol. 8(6), pages 1-66, May.
    • Handle: RePEc:gam:jmathe:v:8:y:2020:i:6:p:864-:d:363174
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/8/6/864/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/8/6/864/
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:8:y:2020:i:6:p:864-:d:363174. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.