- Record: found
- Abstract: not found
- Book Chapter: not found
Programming Languages and Systems
Automatic Static Cost Analysis for Parallel Programs
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 references32
- 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)