Amortised Resource Analysis with Separation Logic

@article{Atkey2009AmortisedRA,
  title={Amortised Resource Analysis with Separation Logic},
  author={Robert Atkey},
  journal={Logical Methods in Computer Science},
  year={2009},
  volume={7}
}
Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative pointer-manipulating languages by embedding a logic of resources, based on the affine… CONTINUE READING
Highly Cited
This paper has 84 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 57 extracted citations

Programming Languages and Systems

Lecture Notes in Computer Science • 2017
View 20 Excerpts
Highly Influenced

Quantitative Reasoning for Proving Lock-Freedom

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science • 2013
View 11 Excerpts
Highly Influenced

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic

Electr. Notes Theor. Comput. Sci. • 2011
View 7 Excerpts
Highly Influenced

85 Citations

0102030'11'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 85 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 31 references

Amortised Resource Analysis with Separation Logic

Robert Atkey
ESOP 2010: Proceedings of the 19th European Symposium on Programming Languages and Systems, • 2010

Chilimbi . Speed : precise and efficient static estimation of program computational complexity

Sumit Gulwani, Krishna K. Mehra, M. Trishul
2009

Mehra , and Trishul M . Chilimbi . Speed : precise and efficient static estimation of program computational complexity

Sumit Gulwani, K. Krishna
2009

Similar Papers

Loading similar papers…