Quantitative Interprocedural Analysis
From MaRDI portal
Publication:2819838
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
interprocedural analysisquantitative objectivesmean-payoff and ratio objectivesmemory bloatstatic profiling
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
