- Record: found
- Abstract: not found
- Book Chapter: not found
Functional and Logic Programming
Type-Based Amortized Resource Analysis with Integers and Arrays
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Automatic discovery of linear restraints among variables of a program
Nicolas Halbwachs, Patrick Cousot (1978)
- Record: found
- Abstract: not found
- Article: not found
Multivariate amortized resource analysis
Klaus Aehlig, Martin R. Hofmann, Jan Hoffmann (2012)
- Record: found
- Abstract: not found
- Book Chapter: not found
Bound Analysis of Imperative Programs with the Size-Change Abstraction
Florian Zuleger, Sumit Gulwani, Moritz Sinn … (2011)