Specialisation of higher-order functions for debugging

DOI10.1016/S1571-0661(04)80355-4MaRDI QIDQ2841302zbMATH OpenOpenAlexFDO

Authors Bernard Pope, Lee Naish

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80355-4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• Introducing debugging capabilities to natural semantics
• A debugging system based on natural semantics
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Abstract diagnosis of functional programs

Cites work

• A theory of type polymorphism in programming
• scientific article; zbMATH DE number 1691462 (Why is no real title available?)
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• Type-driven defunctionalization

Cited in

(1)

• Theoretical Aspects of Computing – ICTAC 2005

Describes a project that uses

Uses Software

• ML
• Haskell

This page was built for publication: Specialisation of higher-order functions for debugging

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