TY - JOUR AU - Encina Vara, Alberto De La AU - Hidalgo Herrero, Mercedes AU - Llana Díaz, Luis Fernando AU - Rubio Díez, Fernando PY - 2020 DO - 10.3390/math8060864 SN - 2227-7390 UR - https://hdl.handle.net/20.500.14352/6439 T2 - Mathematics AB - It is not easy to debug lazy functional programs. The reason is that laziness and higherorder complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder.... LA - eng PB - MDPI KW - Functional programming KW - debugging KW - parallel programming KW - semantics TI - A Semantic Framework to Debug Parallel Lazy Functional Languages TY - journal article VL - 8 ER -