Quantitative Interprocedural Analysis

DOI10.1145/2676726.2676968zbMath1345.68098OpenAlexW2055545029MaRDI QIDQ2819838

Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

interprocedural analysisquantitative objectivesmean-payoff and ratio objectivesmemory bloatstatic profiling

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Hyperplane separation technique for multidimensional mean-payoff games ⋮ Graph Games and Reactive Synthesis ⋮ Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies ⋮ Verifying quantitative temporal properties of procedural programs ⋮ Faster algorithms for quantitative verification in bounded treewidth graphs

This page was built for publication: Quantitative Interprocedural Analysis