semántica operacional
Sign in to savecategory of formal programming language semantics
In the Vinony graph
Vinony's link graph records 132 inbound references to semántica operacional, and connects out to programming language semantics, ALGOL 68 and evaluation strategy.
It sits within the topics Formal specification languages, Logic in computer science and Operational semantics.
Vinony links it to 16 Wikipedia language editions.
Wikidata facts
- Subclass of
- programming language semantics
Show 1 more fact
- Stack Exchange tag
- cstheory.stackexchange.com/tags/operational-semantics
via Wikidata · CC0
Article · Español
La semántica operacional es uno de los enfoques de la semántica formal, en el que el significado de una construcción de lenguaje es especificado por la computación que la induce cuando es ejecutada en una máquina hipotética. La semántica operacional se preocupa más por el "cómo" se ejecutan los programas en lugar de hacer énfasis en los resultados. La semántica formal es una de las áreas de estudio de las ciencias de la computación, preocupada en atribuir significado a las construcciones de lenguajes de programación.
Abstract from DBpedia / Wikipedia · CC BY-SA