Work

Amortized Resource Analysis with Polynomial Potential: A Static Inference of Polynomial Bounds for Functional Programs

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

DOI: 10.1007/978-3-642-11957-6_16

Authors: Jan Hoffmann, Martin Hofmann

Institution: Ludwig-Maximilians-Universität München

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1230660382

FWCI: 7.486

Cites: 32

Cited by: 134

Related to: 9