Debugging hygienic macros

DOI10.1016/J.SCICO.2009.06.001MaRDI QIDQ608231zbMATH OpenOpenAlexFDO

Authors Ryan Culpepper, Matthias Felleisen

Publication date 25 November 2010

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2009.06.001

zbMATH Keywords

debuggingschememacrossyntactic abstraction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• A Theory of Hygienic Macros
• scientific article; zbMATH DE number 2018590
• Macros that work together
• Fortifying macros
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML

Cites work

• scientific article; zbMATH DE number 1692948 (Why is no real title available?)
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• Contracts for higher-order functions
• DrScheme: a programming environment for Scheme
• EDUCATIONAL PEARL: A Nanopass framework for compiler education
• Improving the static analysis of embedded languages via partial evaluation
• On the expressive power of programming languages
• Scheme with Classes, Mixins, and Traits
• The anatomy of a loop: a story of scope and control
• The design and implementation of Typed Scheme

Cited in

(5)

• scientific article; zbMATH DE number 2018590 (Why is no real title available?)
• Revised\(^{6}\) report on the algorithmic language scheme
• Fortifying macros
• On-the-Fly Macros
• A Theory of Hygienic Macros

Describes a project that uses

Uses Software

• MzScheme
• KANREN
• miniKanren
• LISP
• DrScheme

This page was built for publication: Debugging hygienic macros

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