2018
DOI: 10.1016/j.ic.2018.05.006
|View full text |Cite
|
Sign up to set email alerts
|

A type-based complexity analysis of Object Oriented programs

Abstract: A type system is introduced for a generic Object Oriented programming language in order to infer resource upper bounds. A sound and complete characterization of the set of polynomial time computable functions is obtained. As a consequence, the heap-space and the stack-space requirements of typed programs are also bounded polynomially. This type system is inspired by previous works on Implicit Computational Complexity, using tiering and non-interference techniques. The presented methodology has several advantag… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
7
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
2
1
1

Relationship

1
3

Authors

Journals

citations
Cited by 4 publications
(7 citation statements)
references
References 34 publications
0
7
0
Order By: Relevance
“…Stages of type inference. Tiers and typing judgments of [15] are implemented in an object hierarchy. The class Tier contains the constants T0, T1 and None for representing the tiers 0, 1, and "undefined", plus some useful static methods on tiers.…”
Section: Complexityparser Overviewmentioning
confidence: 99%
See 4 more Smart Citations
“…Stages of type inference. Tiers and typing judgments of [15] are implemented in an object hierarchy. The class Tier contains the constants T0, T1 and None for representing the tiers 0, 1, and "undefined", plus some useful static methods on tiers.…”
Section: Complexityparser Overviewmentioning
confidence: 99%
“…For example, the code of the while statement visitor is provided in Figure 3. It implements the following rule (rephrased rule (Wh) from [15]) enforcing any while statement to be controlled by a tier T1 expression: Γ ⊢ env ctx.expression() : T1 Γ ⊢ ctx.statement() : st env, st ∈ {T0, T1} Γ ⊢ while(ctx.expression()){ctx.statement()} : T1…”
Section: Complexityparser Overviewmentioning
confidence: 99%
See 3 more Smart Citations