Specialisation of higher-order functions for debugging

DOI10.1016/S1571-0661(04)80355-4zbMATH Open1268.68052OpenAlexW2013409952MaRDI QIDQ2841302FDOQ2841302

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• A theory of type polymorphism in programming
• Title not available (Why is that?)
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• Type-driven defunctionalization

Cited In (1)

• Theoretical Aspects of Computing – ICTAC 2005

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)