Preguntas etiquetadas con operational-semantics

Mientras se discuten fuertes pruebas de normalización, este comentario contrasta el "modelo de formas normales" con los "métodos puramente sintácticos". Esto me lleva de vuelta a una pregunta más básica: ¿podemos distinguir estrictamente las construcciones sintácticas y semánticas, frente a los modelos basados ​​en sintaxis? ¿Qué pasa con los modelos …

14 lo.logic  pl.programming-languages  operational-semantics 

La página "Esquema avanzado: algunos bits traviesos" dice: Las continuaciones son una construcción poderosa de flujo de control de la cual se puede derivar casi cualquier otra estructura de flujo de control. ¿Pensé que Scheme call/cc, al estar relacionado (*) con el operador J de Peter Landin, podría usarse para …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Para una prueba de corrección, estoy buscando una noción utilizable de equivalencia de programa para los sistemas de tipo puro (PTS) de Barendregt; falta eso, para suficientes sistemas de tipos específicos. Mi objetivo es simplemente usar la noción, no investigarla por sí misma.≅≅\cong Esta noción debería ser " extensional ", …

10 pl.programming-languages  type-theory  operational-semantics 

En la semántica del lenguaje de programación, a menudo se escucha que las personas hablan sobre significado y denotación . Parecen no ser lo mismo. ¿Cuál es la diferencia? ¿El primero está asociado con la semántica operacional mientras que el segundo con la semántica denotacional? Gracias.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics