Perguntas com a marcação «compilers»

A forma normal administrativa é uma representação intermediária do programa na qual cada instrução imediata tem um nome. É usado no GHC e no OCaml . A forma normalizada de K é uma representação intermediária na qual cada instrução consiste em uma atribuição e operação. É usado no MLKit, Min-Caml …

7 programming-languages  compilers 

Alguns compiladores têm funções utilitárias que dividem arestas críticas no gráfico de fluxo de controle. Suponho que isso não seja feito como uma otimização em si, mas para simplificar outras análises e transformações. Em que casos a divisão de arestas críticas seria útil?

7 compilers  program-optimization  data-flow-analysis 

Ao transformar termos de um idioma para outro, a propriedade intuitivamente desejada é a preservação da semântica (como usada, por exemplo, aqui para uma transformação do CPS): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Estou um pouco preocupado, no entanto, ao conciliar isso com os termos clássicos correção (ou …

7 terminology  logic  compilers  semantics 

De Simon Peyton Jones (recente membro da Royal Society), lemos o artigo: Implementando linguagens funcionais preguiçosas no hardware de estoque: a G-Machine Spineless Tagless . Agora, este artigo é parte de como eles fizeram do Haskell uma linguagem preguiçosa quando a estavam implementando e resolveram alguns problemas que eles tinham …

7 compilers 

Gostaria de fazer uma pergunta sobre vários valores de retorno, por que esse construto não é preferível em linguagens de programação (dificuldades conceituais e / ou técnicas). Eu ouvi algo sobre quadros de pilha e como eles reservam memória para valor de retorno e valores de retorno variáveis ​​podem tornar …

7 programming-languages  compilers 

Estou procurando uma boa técnica de coleta de lixo para o meu idioma e encontrei este artigo , onde Benjamin Goldberg descreve uma técnica de coleta de lixo para linguagens fortemente tipadas, o que elimina a necessidade de informações de tipo durante o tempo de execução. Resumidamente, isso é feito …

7 programming-languages  compilers  memory-management  empirical-research  garbage-collection 

Existe um bom artigo geral sobre a interpretação ou compilação do REGEXP em linguagens de programação para correspondência de padrões, com ou sem variáveis? Não estou procurando uma explicação rápida sobre a construção de DFAs, mas um artigo real sobre como isso é realmente feito na implementação de linguagens de …

7 programming-languages  compilers  regular-expressions  matching  interpreters 

Eu acho que a pergunta é auto-suficiente. A sintaxe da linguagem C é completamente definida por meio de gramáticas livres de contexto ou temos construtos de linguagem que podem exigir definições não livres de contexto durante a análise? Um exemplo de construção não CFL que pensei ser a declaração de …

7 context-free  programming-languages  compilers  parsing  c 

Estou participando da classe Coursera em compiladores e, na lição sobre lexers, é sugerido que existe uma troca de espaço-tempo entre o uso de autômato finito não determinístico (NFA) e autômato finito determinístico (DFA) para analisar expressões regulares. Se bem entendi, a desvantagem é que um NFA é menor, mas …

7 finite-automata  compilers  efficiency  nondeterminism  lexical-analysis 

Muitas operações comuns são monoides . Haskell aproveitou essa observação para tornar muitas funções de ordem superior mais genéricas ( Foldablesendo um exemplo). Existe uma maneira óbvia de usar monoides para melhorar o desempenho: os programadores estão afirmando a associatividade da operação e, portanto, as operações podem ser paralelizadas. Estou …

7 optimization  compilers  category-theory 

É possível projetar um compilador que otimiza um loop no qual matrizes são acessadas de maneira alternativa? Por exemplo, assim: // int[] a,b int sum = 0; for(int i = 0; i < n; i++) { sum += a[i] + b[i]; } Com o armazenamento seqüencial usual do array a[i]e …

7 compilers  arrays  program-optimization  memory-management 

Descrição abstrata do problema Do meu ponto de vista, analisar significa criar um fluxo de token a partir de um AST, que quando analisado novamente produz um AST igual, ou seja, parse(unparse(AST)) = ASTdeve ser mantido. É o mesmo que encontrar uma árvore de análise válida que produziria o mesmo …

7 algorithms  compilers  parsers  attribute-grammars 

Eu tenho lido sobre PHP e muitos autores mencionam erros semânticos e lógicos separadamente. Como exemplo de erro semântico, eles fornecem uma função chamada com número incorreto de parâmetros: isso não será capturado pelo analisador, mas gerará um erro quando executado. No entanto, em linguagens como C ++, isso será …

7 terminology  programming-languages  compilers  program-correctness