Static analysis for syntax objects

DOI10.1145/1159803.1159817zbMATH Open1321.68124OpenAlexW2134635944MaRDI QIDQ5501461FDOQ5501461

Authors: David Fisher, Olin Shivers 

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159817

Recommendations

• Building language towers with Ziggurat
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Macros that work together
• Static semantics, types, and binding time analysis
• scientific article; zbMATH DE number 1617328

zbMATH Keywords

static analysisdomain-specific languagestype inferenceflow analysismacrosextensible programming languageslanguage towerslazy delegation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cited In (8)

• Syntax-guided termination analysis
• Improving the static analysis of embedded languages via partial evaluation
• Exception analysis for non-strict languages
• A lazy desugaring system for evaluating programs with sugars
• Sound type-dependent syntactic language extension
• Macros that work together
• Building language towers with Ziggurat
• Type systems as macros

This page was built for publication: Static analysis for syntax objects

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