= Domain theory
{wiki=Domain_theory}
Domain theory is a mathematical framework used primarily in the field of computer science to study the semantics of programming languages, particularly those that include features like state and recursion. It provides a way to model and reason about the behavior of computational processes in a rigorous manner. At the core of domain theory is the concept of a domain, which is a partially ordered set (poset) that represents the possible values of a computation and the way these values can be approximated.
Back to article page