Differential cost analysis with simultaneous potentials and anti-potentials

Differential cost analysis with simultaneous potentials and anti-potentials

We present a novel approach to differential cost analysis that, given a program revision, attempts to statically bound the difference in resource usage, or cost, between the two program versions. Differential cost analysis is particularly interesting because of the many compelling applications for i...

Full description

Saved in:
Bibliographic Details
Main Authors: ZIKELIC, Dorde, CHANG, Bor-Yuh Evan, BOLIGNANO, Pauline, RAIMONDI, Franco
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2022
Subjects:
Differential cost analysis
Cost analysis
Relational reasoning
Potential functions
Programming Languages and Compilers
Online Access:https://ink.library.smu.edu.sg/sis_research/9062
https://ink.library.smu.edu.sg/context/sis_research/article/10065/viewcontent/3519939.3523435.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/9062
https://ink.library.smu.edu.sg/context/sis_research/article/10065/viewcontent/3519939.3523435.pdf

Similar Items