Type-based amortized resource analysis with integers and arrays

[1]  John Riordan,et al.  Arrangements on Chessboards , 1972, J. Comb. Theory, Ser. A.

[2]  Elvira Albert,et al.  Closed-Form Upper Bounds in Static Cost Analysis , 2011, Journal of Automated Reasoning.

[3]  Robert J. Vanderbei,et al.  Linear Programming: Foundations and Extensions , 1998, Kluwer international series in operations research and management service.

[4]  Martin Hofmann,et al.  Multivariate amortized resource analysis , 2012, TOPL.

[5]  Samir Genaim,et al.  Handling Non-linear Operations in the Value Analysis of COSTA , 2011, Bytecode@ETAPS.

[6]  Pierre Kelsen,et al.  Platform-Variant Applications from Platform-Independent Models via Templates , 2011, Electron. Notes Theor. Comput. Sci..

[7]  Elvira Albert,et al.  Cost analysis of object-oriented bytecode programs , 2012, Theor. Comput. Sci..