semántica operacional
Sign in to savecategory of formal programming language semantics
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