Preguntas etiquetadas con semantics

En un hilo diferente , Andrej Bauer definió la semántica denotacional como: El significado de un programa es una función de los significados de sus partes. Lo que me molesta de esta definición es que no parece distinguir lo que comúnmente se considera semántica denotacional de lo que comúnmente se …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

He estado leyendo " Semántica con aplicaciones " de Nielson & Nielson , y realmente me gusta el tema. Me gustaría tener un libro más sobre semántica del lenguaje de programación, pero realmente solo puedo obtener uno. Eché un vistazo al libro de Turbak / Gifford , pero es demasiado …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Considere esta pregunta resuelta. No elegiré la mejor respuesta ya que todas ellas han contribuido a mi comprensión del tema. No estoy seguro de qué beneficio tenemos al definir formalmente la semántica de la lógica de predicados. Pero sí valoro tener un cálculo de prueba formal. Mi punto es que …

25 lo.logic  semantics 

Me parece que el lenguaje macro utilizado por puede verse como algún tipo de sistema de reescritura de términos o algún tipo de lenguaje de programación con alcance de llamada por nombre.TEXTEX\TeX Incluso las implementaciones modernas del motor (por ejemplo, ) interpretan el código de una manera bastante directa y …

21 pl.programming-languages  semantics  term-rewriting-systems 

Estoy buscando material tutorial que cubra las pruebas de corrección del compilador, preferiblemente utilizando métodos de denotación, al nivel de un estudiante graduado principiante. Alternativamente, ¿conoce algunos ejemplos simples de compiladores que pueda usar para ilustrar los problemas? (El primer ejemplo que se me ocurrió fue un traductor de infix …

20 reference-request  pl.programming-languages  semantics  compilers 

En la sección "Introducción a los lenguajes de programación" de Anthony Aaby sobre semántica , hace la siguiente observación: Gran parte del trabajo en la semántica de los lenguajes de programación está motivado por los problemas encontrados al tratar de construir y comprender programas imperativos, programas con comandos de asignación. …

19 imperative-programming  semantics  big-picture 

Estoy leyendo La implementación de los lenguajes de programación funcional de Simon Peyton Jones y hay una declaración que me sorprendió un poco (en la página 39): En un grado mucho mayor que el caso de los lenguajes imperativos, los lenguajes funcionales son en gran medida variaciones sintácticas entre sí, …

17 functional-programming  semantics  imperative-programming 

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 …

17 reference-request  pl.programming-languages  semantics  formal-systems 

¿Existe alguna teoría del lenguaje de programación que describa interfaces de funciones foráneas (FFI) y enlaces de múltiples idiomas? He preguntado algunos problemas de implementación en stackoverflow , que no es adecuado aquí. Pero me gustaría preguntar desde la vista de este sitio y ver qué podría obtener de aquí. …

16 pl.programming-languages  semantics 

Los esfuerzos de verificación del compilador a menudo se reducen a demostrar que el compilador es completamente abstracto: que conserva y refleja las equivalencias (contextuales). En lugar de proporcionar pruebas de abstracción completas, algunos trabajos de verificación de compiladores recientes (basados ​​en categorías) de Hasegawa [ 1 , 2 ] …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Q1. ¿Cuándo podemos decir que dos programas (escritos en algún lenguaje de programación como C ++) son diferentes? El primer extremo es decir que dos programas son equivalentes si son idénticos. El otro extremo es decir que dos programas son equivalentes si calculan la misma función (o muestran el mismo …

15 pl.programming-languages  semantics  equivalence 

Descargo de responsabilidad : aunque me importa la teoría de tipos, no me considero un experto en teoría de tipos. En el cálculo lambda de tipo simple, el tipo cero no tiene constructores y un eliminador único: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Desde un punto …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Tengo una pregunta sobre las funciones puras. Según la página de Wikipedia, uno de los requisitos para una función pura es: La evaluación del resultado no causa ningún efecto secundario o salida semánticamente observable, como la mutación de objetos mutables o la salida a dispositivos de E / S. Ahora, …

11 functional-programming  semantics 

Del artículo de estrategia de evaluación en Wikipedia: La noción de estrategia de reducción en el cálculo lambda es similar pero distinta. Del artículo de estrategia de reducción en Wikipedia: Es similar pero sutilmente diferente de la noción de estrategia de evaluación en informática. ¿Cuál es la sutil distinción entre …

10 pl.programming-languages  lambda-calculus  semantics 

La minimización de circuitos es el problema para minimizar el tamaño de un circuito dado. ¿Hay algo similar para los programas generales? En particular mi pregunta es: ¿Existen algoritmos para minimizar el número de instrucciones para un programa dado? Sé que es un problema indecidible, pero no estoy buscando una …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers