User:Ndcroos/Ownership types

In computer science, ownership types are a way to address faults arising from object aliasing. An ownership type system enforces two kinds of restrictions to the object graph topological restriction encapsulation heap object-oriented programs

type theory

Object ownership

Ownership context is a region of the heap. Other names are ownership domains, contexts, boxes and regions.

borrowing

Immutability

Example

{{{...}}}

Formal

object calculus

separation logic

References

Ownership types: A survey

Wang et al.

External links

• www.example.com