Semántica operacional

Semántica operacional

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.

Tipos de semántica operacional

El enfoque de semántica operacional posee dos versiones:

  • Semántica operacional estructurada - Especifica más de detalles de la ejecución, dando un paso más pequeño;
  • Semántica natural - Simplifica la notación y oculta los detalles, para dar un paso más grande.

Véase también

Referencias


Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • OSEMINTI — es un proyecto que están desarrollando los ministerios de defensa de los estados español, francés e italiano, denominado Infraestructura de inteligencia semántica operacional, desarrollado por la Agencia Europea de Defensa, CapTech IAP04… …   Wikipedia Español

  • Simulación — es la experimentación con un modelo de una hipótesis o un conjunto de hipótesis de trabajo. Thomas T. Goldsmith Jr. y Estle Ray Mann la define así: Simulación es una técnica numérica para conducir experimentos en una computadora digital. Estos… …   Wikipedia Español

  • Standard ML — El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica …   Wikipedia Español

  • Vienna Definition Language — El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de… …   Wikipedia Español

  • Standard ML — El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica …   Enciclopedia Universal

  • Rudolf Carnap — Saltar a navegación, búsqueda Rudolf Carnap Filosofía Occidental Filosofía del siglo XX Nacimiento 18 de mayo de 1891 …   Wikipedia Español

  • Definición — Saltar a navegación, búsqueda Una definición es una proposición que trata de exponer con claridad y exactitud las características específicas y diferenciadoras de algo material o inmaterial. Contenido 1 Definición en sentido clásico 2… …   Wikipedia Español

  • Planeamiento — Saltar a navegación, búsqueda La planeación o planeamiento en el sentido más universal implica tener uno o varios objetivos a realizar junto con las acciones requeridas para concluirse exitosamente. Va de lo más simple a lo complejo, dependiendo… …   Wikipedia Español

  • Software — Se conoce como software[1] al equipamiento lógico o soporte lógico de un sistema informático; comprende el conjunto de los componentes lógicos necesarios que hacen posible la realización de tareas específicas, en contraposición a los componentes… …   Wikipedia Español

  • Software de gestión documental — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”