In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational semantics. Broadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do. For example, programs (or program phrases) might be represented by partial functions or by games between the environment and the system. An important tenet of denotational semantics is that semantics should be compositional: the denotation of a program phrase should be built out of the denotations of its subphrases. Historical development Denotational semantics originated in the work of Christopher Strachey and Dana Scott published in the early 1970s. As originally developed by Strachey and Scott, denotational
En informática, la semántica denotacional (inicialmente conocida como semántica matemática o semántica de Scott-Strachey) es un enfoque de formalizar los significados de los lenguajes de programación mediante la construcción de objetos matemáticos (llamados denotaciones) que describen los significados de las expresiones de los lenguajes. Otros enfoques que proporcionan semántica formal de los lenguajes de programación incluyen la semántica axiomática y la semántica operativa. En general, la semántica denotacional se ocupa de encontrar objetos matemáticos llamados dominios que representan lo que los programas hacen. Por ejemplo, los programas (o frases de programa) pueden ser representados por funciones parciales o por juegos entre el medio ambiente y el sistema. Un principio importante de la semántica denotacional es que la semántica debe ser composicional: la denotación de una frase de programa debe ser construida a partir de las denotaciones de sus subfrases.