Improving the static analysis of embedded languages via partial evaluation

DOI10.1145/1016850.1016857zbMath1323.68074OpenAlexW4233868117MaRDI QIDQ5178018

Philippe Meunier, David Herman

Publication date: 9 March 2015

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

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

zbMATH Keywords

partial evaluationmacrosembedded languagesvalue flow analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Debugging hygienic macros

This page was built for publication: Improving the static analysis of embedded languages via partial evaluation