Introducing debugging capabilities to natural semantics

DOI10.1007/978-3-540-70881-0_18zbMATH Open1185.68204OpenAlexW1587224678MaRDI QIDQ3401945FDOQ3401945

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

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

zbMATH Keywords

functional programmingsemanticsdebugging

Mathematics Subject Classification ID

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

Cited In (6)

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

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)