Semántica formal de lenguajes de programación

17

Soy nuevo en la teoría de los lenguajes de programación y estoy buscando un buen recurso sobre un recurso para la semántica formal de los lenguajes de programación. Específicamente buscando semántica operacional estructural. Tengo algunas recomendaciones de libros. Pero estoy buscando un recurso en un nivel más introductorio. Especialmente se aceptan tutoriales, recomendaciones de sitios web y libros gratuitos.

reference-request  pl.programming-languages  semantics  formal-systems 
— defecto del sistema
fuente
2
— Dave Clarke
Iba a publicar exactamente el mismo enlace, pero luego noté que el OP ya mencionó que tenían recomendaciones de libros, y estaba buscando otras referencias
— Suresh Venkat,

Respuestas:

8

La semántica operacional estructural (SOS) es un concepto muy general. Esencialmente es solo una relación binaria en las configuraciones (generalmente programas más un contexto, como estado o continuaciones disponibles) o, en caso de semántica etiquetada, una relación ternaria entre configuraciones, acciones (que representan ciertos contextos mínimos) y configuraciones. El bit "estructural" suele ser que estas relaciones se definen inductivamente sobre la sintaxis involucrada (por ejemplo, configuraciones y acciones).

Como tal, sin otro requisito, las entidades matemáticas que consideramos en SOS son demasiado generales para ser interesantes / manejables por derecho propio.

SOS se vuelve interesante y sustancial cuando miramos casos especiales, por ejemplo, equivalencias para cálculos cronometrados, transiciones etiquetadas para cálculos ambientales asíncronos correspondientes a reducciones o preguntas sobre la expresividad de ciertos (clases de) cálculos.

Por lo tanto, mi recomendación para el Sr. / Sra. Systemsfault es omitir generalidades y saltar directamente a cálculos de interés específicos. Las técnicas generales de SOS se pueden recoger fácilmente en el camino.

— Martin Berger
fuente
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.