Perguntas com a marcação «program-analysis»

Isso está escrito na entrada wiki da Symbolic Execution , mas não consigo encontrar nenhuma referência para isso. Alguém pode me mostrar um ponteiro? Obrigado.

15 reference-request  lo.logic  program-analysis 

Recentemente, fiquei interessado no problema geral de otimizar o uso da memória em uma situação em que há mais de um tipo de memória disponível e há uma troca entre a capacidade de um determinado segmento de memória e a velocidade de acesso a ele. O exemplo familiar é um …

14 optimization  program-analysis 

Estou escrevendo minha tese de mestrado em CS e estou trabalhando com análise de alias. O que me interessa é a análise intraprocedimento, sensível ao fluxo, que pode e deve ser um alias para linguagens do tipo Java. Estou procurando textos que descrevam o básico deste assunto de maneira detalhada, …

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

Agora estou tentando entender melhor o que é "interpretação abstrata" em linguagens de programação. Encontrei um bom capítulo de livro que explica a idéia de estender o domínio com um elemento menos fixo, os quatro axiomas que produzem um ponto fixo para uma função contínua, e assim por diante. Entendo …

9 pl.programming-languages  program-analysis 

Alguém já pensou na possibilidade de uma linguagem de programação e de um compilador, de modo que o compilador possa fazer automaticamente a análise assintótica do pior caso? O caso de uso que tenho em mente é uma linguagem de programação na qual escrevo código e compilo. O compilador me …

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