Preguntas etiquetadas con compilers

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 

La desfuncionalización es una transformación de programa que convierte los programas de orden superior en programas de primer orden. La idea es que, dado un programa, solo hay finitamente muchas abstracciones lambda, por lo que puede reemplazar cada lambda con un id, y cada aplicación de función con una llamada …

15 pl.programming-languages  compilers 

Estoy interesado en la optimización del flujo de datos y gráficos de flujo de control y, en particular, más complejo desde el punto de vista computacional. Pero también será interesante conocer los últimos inventos en el campo de las optimizaciones de mirillas.

14 optimization  compilers 

La declaración de investigación de JM Siskind dice: Stalin es un compilador optimizador para Scheme que realiza análisis estáticos de todo el programa y utiliza los resultados de ese análisis para generar código extremadamente eficiente. Stalin utiliza una gran colección de técnicas de análisis estático. Realiza una nueva forma de …

14 compilers 

La teoría del compilador parece ser un tema bastante investigado. ¿Cuáles son algunos problemas abiertos o investigaciones actuales que están ocurriendo en el campo?

13 soft-question  big-list  open-problem  compilers 

He estado aprendiendo algo sobre la implementación de tipos dependientes, como este tutorial , pero la mayoría de ellos está implementando intérpretes. Mi pregunta es, parece que implementar un compilador para el tipo dependiente es mucho más difícil que un compilador, porque realmente puede evaluar los argumentos del tipo dependiente …

11 type-systems  compilers  dependent-type 

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 

Estoy escribiendo mi tesis de maestría en CS y estoy trabajando con el análisis de alias. Lo que me interesa es el análisis intraprocesal, sensible al flujo de alias y may-may para lenguajes similares a Java. Estoy buscando textos que describan los conceptos básicos de este tema de manera detallada, …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Estoy interesado en compiladores verificados formalizados en la teoría de tipo Martin-Löf, es decir, Coq / Agda. Por el momento he escrito un pequeño ejemplo de juguete. Con eso puedo demostrar que mis optimizaciones son correctas. Por ejemplo, las adiciones con cero pueden eliminarse, es decir, expresiones como "x + …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

Hasta donde sé, una función de Haskell con restricciones de clases de tipo se compila internamente en una función con argumentos adicionales que reciben diccionarios con las implementaciones necesarias de cada clase de tipo en particular. ¿Hay alguna otra posibilidad de cómo compilar clases de tipos? Si es así, ¿cuáles …

9 pl.programming-languages  functional-programming  compilers  type-systems 

¿Alguien ha pensado en la posibilidad de un lenguaje de programación y un compilador, de modo que el compilador pueda hacer automáticamente el análisis asintótico del peor de los casos? El caso de uso que tengo en mente es un lenguaje de programación donde escribo código y compilo. El compilador …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis 

Estoy buscando ML para generar código más eficiente (es decir, heurística de tiempo de compilación y tiempo de ejecución). Tengo un phd (compiladores, hpc), pero muy poca experiencia en ML. Agradecería cualquier referencia al trabajo existente. Más importante aún, ¿qué técnicas de aprendizaje automático debería explorar? cada muestra de datos …

8 reference-request  optimization  machine-learning  compilers 

Los cierres léxicos son una técnica de implementación en lenguajes con funciones de primera clase. Estoy interesado en una descripción operacional simple de los cierres de funciones. ¿Alguien sabe de tal descripción?

8 reference-request  pl.programming-languages  semantics  compilers