Improving the static analysis of embedded languages via partial evaluation

DOI10.1145/1016850.1016857MaRDI QIDQ5178018zbMATH OpenOpenAlexFDO

Authors David Herman, Philippe Meunier

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

embedded languagesmacrospartial evaluationvalue flow analysis

Mathematics Subject Classification ID

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

Recommendations

• Scrapping your inefficient engine
• Static analysis for syntax objects
• scientific article; zbMATH DE number 1746687
• Interleaving symbolic execution and partial evaluation
• scientific article; zbMATH DE number 177846

Cited in

(5)

• Incorporating static analysis in a combinator-based compiler
• Scrapping your inefficient engine
• Rewriting Approximations for Fast Prototyping of Static Analyzers
• Automated Reasoning with Analytic Tableaux and Related Methods
• Debugging hygienic macros

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

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