Static analysis for syntax objects

DOI10.1145/1159803.1159817zbMath1321.68124OpenAlexW2134635944MaRDI QIDQ5501461

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)

Related Items (1)

A lazy desugaring system for evaluating programs with sugars

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