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

edit

{{{...}}}

Formal

edit

object calculus

separation logic

References

edit

Ownership types: A survey

Wang et al.

edit