DSN_XP y la semántica

Semántica y el lenguaje

Estudio de la estructura del lenguaje

DSN_XP recurre a investigar sobre el concepto semántica para entender el concepto de lenguaje y con ello asociar el paradigma de programación.

Semántica

Parte del estudio filosófico e investigación realizada por DSN_XP a la ingeniería del software, requería que se traten temas como el uso de los lenguajes de programación como herramientas necesaria para el proceso de abstracción.

En la Teoría de lenguajes de programación, la semántica es el campo que tiene que ver con el estudio riguroso desde un punto de vista matemático del significado de los lenguajes de programación. Esto se hace evaluando el significado de cadenas sintácticamente legales definidas por un lenguaje de programación específico, mostrando el proceso computacional involucrado. En el caso de que la evaluación fuera de cadenas sintácticamente ilegales, el resultado sería no-cómputo. La semántica describe el proceso que una computadora sigue cuando ejecuta un programa en ese lenguaje específico. Esto se puede mostrar describiendo la relación entre la entrada y la salida de un programa, o una explicación de cómo el programa se ejecutará en cierta plataforma, y consecuentemente creando un modelo de computación.(Wikipedia)

De los diversos estudios relacionados con la semántica, nuestra primera referencia fue tratada respecto a los modelos matemáticos utilizados en las bases de la ciencias de la computación que nos permitieron comprender el estudio de los compiladores y de los procesadores, factores que coexisten en el tipo de computación que se espera del modelo matemático de procesamiento.