Static analysis for syntax objects

DOI10.1145/1159803.1159817MaRDI QIDQ5501461zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(8)

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

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)