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 references 24

Record: found
Abstract: not found
Article: not found

Amortized Computational Complexity

Robert Tarjan (1985)

0 comments Cited 51 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Proving the correctness of reactive systems using sized types

John Hughes, Lars Pareto, Amr Sabry (1996)

0 comments Cited 20 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Amortized Resource Analysis with Polynomial Potential

Jan Hoffmann, Martin Hofmann (2010)

0 comments Cited 18 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 172-187

DOI: 10.1007/978-3-642-17164-2_13

SO-VID: 5142802b-6b48-4be6-9142-5f299c9afd85

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

Resource Aware ML
Authors: Jan Hoffmann, Klaus Aehlig, Martin Hofmann
Automatic Static Cost Analysis for Parallel Programs
Authors: Jan Hoffmann, Zhong Shao
Type-Based Amortized Resource Analysis with Integers and Arrays
Authors: Jan Hoffmann, Zhong Shao

See all cited by

Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics

Read this book at

Related collections

Resource Identification

Most cited references 24

Amortized Computational Complexity

Proving the correctness of reactive systems using sized types

Amortized Resource Analysis with Polynomial Potential

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,153

Cited by 6