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?
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 programa que decide quando...
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,...
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....
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 diz que...