Perguntas com a marcação «compilers»

Estou procurando um material tutorial que cubra as provas de correção do compilador, de preferência usando métodos denotacionais, no nível de um estudante iniciante. Como alternativa, você conhece alguns exemplos simples de compilador que eu poderia usar para ilustrar os problemas? (O primeiro exemplo que me ocorreu foi um tradutor …

20 reference-request  pl.programming-languages  semantics  compilers 

Defuncionalização é uma transformação de programa que converte programas de ordem superior em programas de primeira ordem. A idéia é que, dado um programa, há apenas muitas abstrações lambda finitas, para que você possa substituir cada lambda por um id e cada aplicativo de função com uma chamada para um …

15 pl.programming-languages  compilers 

Estou interessado em otimizar o fluxo de dados e controlar gráficos de fluxo e, em particular, mais complexo computacionalmente. Mas também será interessante conhecer as últimas invenções no campo das otimizações de olho mágico.

14 optimization  compilers 

A declaração de pesquisa de JM Siskind afirma: Stalin é um compilador de otimização para o Scheme que executa análise estática de todo o programa e usa os resultados dessa análise para gerar código extremamente eficiente. Stalin utiliza uma grande coleção de técnicas de análise estática. Ele executa uma nova …

14 compilers 

A teoria dos compiladores parece ser um assunto bastante analisado. Quais são alguns problemas em aberto ou pesquisas atuais acontecendo no campo?

13 soft-question  big-list  open-problem  compilers 

Eu tenho aprendido algo sobre a implementação de tipos dependentes, como este tutorial , mas a maioria deles está implementando intérpretes. Minha pergunta é: parece que implementar um compilador para o tipo dependente é muito mais difícil do que um compilador, porque você pode realmente avaliar os argumentos do tipo …

11 type-systems  compilers  dependent-type 

Minimização de circuitos é o problema para minimizar o tamanho de um determinado circuito. Existe algo semelhante para programas gerais? Em particular, minha pergunta é - Existem algoritmos para minimizar o número de instruções para um determinado programa. Sei que é um problema indecidível, mas não estou procurando uma solução …

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

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 

Estou interessado em compiladores verificados formalizados na teoria do tipo Martin-Löf, ou seja, Coq / Agda. No momento, escrevi um pequeno exemplo de brinquedo. Com isso, posso provar que minhas otimizações estão corretas. Por exemplo, adições com zero podem ser eliminadas, ou seja, expressões como "x + 0". Existem otimizações …

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

Até onde eu sei, uma função Haskell com restrições de classes de tipo é compilada internamente para uma função com argumentos adicionais que recebem dicionários com as implementações necessárias de cada classe de tipo específica. Existem outras possibilidades de compilação de classes de tipo? Em caso afirmativo, quais são suas …

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

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 

Estou procurando no ML a geração de código mais eficiente (ou seja, heurísticas de tempo de compilação e tempo de execução). Eu tenho um phd (compiladores, hpc), mas muito pouca experiência em ML. Eu apreciaria todas as referências ao trabalho existente. Mais importante, quais técnicas de aprendizado de máquina devo …

8 reference-request  optimization  machine-learning  compilers 

Os fechamentos lexicais são uma técnica de implementação em linguagens com funções de primeira classe. Estou interessado em uma descrição operacional simples do fechamento de funções. Alguém sabe dessa descrição?

8 reference-request  pl.programming-languages  semantics  compilers