¡

La semántica de la acción del es un marco para la especificación formal de la semántica de los lenguajes de programación inventados por el vatio de David y los musgos de Peter D. Es una mezcla indicativo, operacional y de la semántica algebraica .

Punterías de la semántica de la acción a ser pragmáticas. Las descripciones Acción-Semánticas (ASDs) se diseñan para escalar hasta lenguajes de programación realistas de la manija. Esto es ayudada por la extensibilidad y el modifiability de ASDs. Esto ayuda a asegurarse de que las extensiones y los cambios no requieren demasiados cambios en la descripción. Esto está en contraste con el caso típico al ampliar la semántica indicativa u operacional, que puede requerir la reformulación de la descripción entera.

El marco de la semántica de la acción fue desarrollado original en la universidad de Aarhus y la universidad de Glasgow . Los grupos y los individuos en todo el mundo han contribuido desde entonces más lejos al acercamiento.