2012
DOI: 10.1007/978-3-642-28869-2_29
|View full text |Cite
|
Sign up to set email alerts
|

Gradual Ownership Types

Abstract: Abstract. Gradual Ownership Types are a framework allowing programs to be partially annotated with ownership types, while providing the same encapsulation guarantees. The formalism provides a static guarantee of the desired encapsulation property for fully annotated programs, and dynamic guarantees for partially annotated programs via dynamic checks inserted by the compiler. This enables a smooth migration from ownership-unaware to ownership-typed code. The paper provides a formal account of gradual ownership … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
24
0

Year Published

2012
2012
2023
2023

Publication Types

Select...
5
1
1

Relationship

0
7

Authors

Journals

citations
Cited by 40 publications
(24 citation statements)
references
References 33 publications
0
24
0
Order By: Relevance
“…The first investigates the integration of gradual typing with advanced typing features, such as objects [Siek and Taha 2007], ownership types [Sergey and Clarke 2012], refinement types [Jafery and Dunfield 2017; Lehmann and Tanter 2017], session types [Igarashi et al 2017], and union and intersection types [Castagna and Lanvin 2017]. From this perspective, our type system studies the combination of variational types and gradual types.…”
Section: Relation To Gradual Typingmentioning
confidence: 99%
“…The first investigates the integration of gradual typing with advanced typing features, such as objects [Siek and Taha 2007], ownership types [Sergey and Clarke 2012], refinement types [Jafery and Dunfield 2017; Lehmann and Tanter 2017], session types [Igarashi et al 2017], and union and intersection types [Castagna and Lanvin 2017]. From this perspective, our type system studies the combination of variational types and gradual types.…”
Section: Relation To Gradual Typingmentioning
confidence: 99%
“…The appeal of gradual typing has inspired the development of gradual approaches to a variety of type disciplines, including objects [14,22,24], ownership types [21], typestates [10,26], and information flow typing [6].…”
Section: Towards Gradual Effect Checkingmentioning
confidence: 99%
“…Sergey and Clarke propose gradual ownership types [21]. Like gradual typestates, gradual ownership expresses and dynamically tracks heap properties.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Sergey and Clark [24] introduce the notion of gradual ownership types and a corresponding consistent-subtyping relation. Their formalism provides a static guarantee of ownership invariants for fully annotated programs, but requires dynamic checks for partially-annotated programs.…”
Section: Related Workmentioning
confidence: 99%