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

Formal
object calculus

separation logic