PAG -- an efficient program analyzer generator

DOI10.1007/s100090050017zbMath1060.68572OpenAlexW2069437435MaRDI QIDQ1856182

Florian Martin

Publication date: 1998

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090050017

zbMATH Keywords

interprocedural analysisabstract interpretationcompiler constructiondata flow analysisspecification and generation of analyzers

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (3)

Static extensivity analysis for \(\lambda\)-definable functions over lattices ⋮ Program Analysis Using Weighted Pushdown Systems ⋮ PAG

This page was built for publication: PAG -- an efficient program analyzer generator