Combinatorics

Physics

Separation logic

Concurrency

Mathematics

Astronomy

Thread (computing)

Programming language

Computer science

Theoretical computer science

Disjoint sets

Conjunction (astronomy)

Compositional abstractions underly many reasoning principles for concurrent programs: the concurrent environment is abstracted in order to reason about a thread in isolation; and these abstractions are composed to reason about a program consisting of many threads. For instance, separation logic uses formulae that describe part of the state, abstracting the rest; when two threads use disjoint state, their specifications can be composed with the separating conjunction. Type systems abstract the state to the types of variables; threads may be composed when they agree on the types of shared variables.

Views