Introducing debugging capabilities to natural semantics

DOI10.1007/978-3-540-70881-0_18MaRDI QIDQ3401945zbMATHOpenAlexFDO

Authors Alberto de la Encina, Luis Llana, Fernando Rubio

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70881-0_18

zbMATH Keywords

functional programmingsemanticsdebugging

Mathematics Subject Classification ID

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

Recommendations

• A debugging system based on natural semantics
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1692897
• scientific article; zbMATH DE number 1231448
• Abstract diagnosis of functional programs

Cited in

(6)

• Adapting combinator and SECD machines to display snapshots of functional computations
• A Debugger for the Interpreter Design Pattern
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Theoretical Aspects of Computing – ICTAC 2005
• A debugging system based on natural semantics
• Specialisation of higher-order functions for debugging

Describes a project that uses

Uses Software

• Freja
• Hat
• Hood

This page was built for publication: Introducing debugging capabilities to natural semantics

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