Preguntas etiquetadas con program-analysis

Esto está escrito en la entrada wiki de Ejecución simbólica , pero no puedo encontrar ninguna referencia para ello. ¿Alguien puede mostrarme un puntero? Gracias.

15 reference-request  lo.logic  program-analysis 

Recientemente me interesé en el problema general de optimizar el uso de la memoria en una situación en la que hay más de un tipo de memoria disponible, y existe una compensación entre la capacidad de un segmento de memoria dado y la velocidad de acceso a él. El ejemplo …

14 optimization  program-analysis 

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 

Ahora estoy tratando de entender mejor qué es la "interpretación abstracta" en los lenguajes de programación. Encontré un buen capítulo de libro que explica la idea de extender el dominio con un elemento menos fijo, los cuatro axiomas que producen un punto fijo para una función continua, y así sucesivamente. …

9 pl.programming-languages  program-analysis 

¿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