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
fuente
Respuestas:
Mirar el curso de semántica operativa en mi universidad ofrece los siguientes tres:
Ohad
fuente
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.
fuente
Recomendaría leer el Capítulo 2 en este libro descargable:
Semántica con aplicaciones: una introducción formal, Hanne Riis Nielson y Flemming Nielson, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html
fuente