Amortised resource analysis for object-oriented programs

MaRDI QIDQ5415597zbMATH OpenFDO

Authors Dulma Rodriguez

Publication date 13 May 2014

Full work available at URL http://d-nb.info/1029040249/34

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Automatic type inference for amortised heap-space analysis
• Programming Languages and Systems
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• Type-based amortized resource analysis with integers and arrays
• Efficient Type-Checking for Amortised Heap-Space Analysis

Cited in

(6)

• Amortised resource analysis with separation logic
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• Efficient Type-Checking for Amortised Heap-Space Analysis
• Decidable linear list constraints
• Automatic type inference for amortised heap-space analysis
• Two decades of automatic amortized resource analysis

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Amortised resource analysis for object-oriented programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415597)