A debugging system based on natural semantics

MaRDI QIDQ4929334zbMATH OpenFDO

Authors Alberto de la Encina, Luis Llana, Fernando Rubio

Publication date 22 September 2010

Full work available at URL http://www.jucs.org/jucs_15_14/a_debugging_system_based

zbMATH Keywords

abstract machinesdebuggingHaskellHoodparallel functional programmingsemanticsSestoft's semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Introducing debugging capabilities to natural semantics
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1691462
• Abstract diagnosis of functional programs
• scientific article; zbMATH DE number 1692897

Cited in

(8)

• scientific article; zbMATH DE number 1691462 (Why is no real title available?)
• Specialisation of higher-order functions for debugging
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Introducing debugging capabilities to natural semantics
• A Debugger for the Interpreter Design Pattern
• scientific article; zbMATH DE number 1231448 (Why is no real title available?)
• A formal semantics for program debugging
• Theoretical Aspects of Computing – ICTAC 2005

Describes a project that uses

Uses Software

• Haskell
• Hood

This page was built for publication: A debugging system based on natural semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4929334)