Semántica de 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.La semántica describe el proceso que una computadora sigue cuando ejecuta un programa en ese lenguaje específico.Semánticas formales ayudan, por ejemplo, a escribir compiladores, a tener un mejor entendimiento de lo que un programa está haciendo y a hacer determinadas pruebas, como demostrar que el siguiente código tiene el mismo efecto que S1 por sí solo.Hay muchos enfoques a las semánticas formales, las cuales pertenecen a tres categorías principales: Las diferencias entre estas tres amplias clases de aproximaciones puede que a veces sean difusas, pero todas las aproximaciones conocidas a las semánticas formales usan las técnicas de arriba, o alguna combinación de ellas.Algunas variaciones de las semánticas formales incluyen las siguientes: Por una variedad de razones, uno pudiera querer describir las relaciones entre diferentes semánticas formales.