Perguntas com a marcação «compilers»

Dando uma olhada na página de Julia , você pode ver alguns benchmarks de vários idiomas em vários algoritmos (horários mostrados abaixo). Como um idioma com um compilador originalmente escrito em C pode superar o código C? Figura: tempos de referência em relação a C (quanto menor, melhor, desempenho de …

175 programming-languages  compilers  efficiency 

Percebi que alguns aplicativos ou algoritmos criados em uma linguagem de programação, como C ++ / Rust, são executados mais rápido ou mais rápido do que os criados em Java / Node.js, executando na mesma máquina. Eu tenho algumas perguntas sobre isso: Por que isso acontece? O que governa a …

82 programming-languages  compilers 

Pergunta, questão: "Certas propriedades de uma linguagem de programação podem exigir que a única maneira de obter o código escrito seja executada por interpretação. Em outras palavras, a compilação de um código de máquina nativo de uma CPU tradicional não é possível. Quais são essas propriedades?" Compiladores: Princípios e Prática …

72 programming-languages  compilers  interpreters 

Gostaria de saber se é possível construir compiladores para linguagens dinâmicas como Ruby para ter desempenho semelhante e comparável ao C / C ++? Pelo que entendi sobre compiladores, como o Ruby, por exemplo, compilar código Ruby nunca pode ser eficiente, porque a maneira como o Ruby lida com reflexão, …

64 programming-languages  compilers 

Em idiomas como C, o programador deve inserir chamadas gratuitamente. Por que o compilador não faz isso automaticamente? Os seres humanos fazem isso em um período de tempo razoável (ignorando bugs), por isso não é impossível. EDIT: Para referência futura, aqui está outra discussão que tem um exemplo interessante.

63 compilers  memory-management  garbage-collection 

Estou interessado na complexidade do tempo de um compilador. Claramente, essa é uma pergunta muito complicada, pois há muitos compiladores, opções e variáveis ​​de compilador a serem consideradas. Especificamente, estou interessado em LLVM, mas estaria interessado em quaisquer pensamentos que as pessoas tivessem ou lugares para começar a pesquisar. Um …

54 compilers 

Suponha que um programa tenha sido escrito em duas línguas distintas, sejam elas a linguagem X e a linguagem Y, se seus compiladores gerarem o mesmo código de bytes, por que eu deveria usar a linguagem X em vez da linguagem Y? O que define que um idioma é mais …

38 programming-languages  compilers 

Quando um computador armazena uma variável, quando um programa precisa obter o valor da variável, como o computador sabe onde procurar na memória o valor dessa variável?

32 compilers  memory-access  variable-binding 

Estou planejando ministrar um curso de inverno sobre um número variável de tópicos, um dos quais serão compiladores. Agora, eu me deparei com esse problema enquanto pensava em atribuições a serem entregues ao longo do trimestre, mas ele me deixou perplexo, para que eu pudesse usá-lo como exemplo. public class …

32 computability  proof-techniques  compilers 

Entendo que, se existem 2 ou mais árvores de derivação esquerda ou direita, a gramática é ambígua, mas não consigo entender por que é tão ruim que todo mundo queira se livrar dela.

30 compilers  ambiguity 

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Tenho a seguinte citação do curso do meu compilador (no contexto de coloração de gráficos): Por ser lenta, a coloração do gráfico tende a ser usada nos compiladores em lote, enquanto a varredura linear tende a ser usada nos compiladores JIT. Não consegui encontrar uma definição clara on-line. Então, o …

28 compilers 

Existem programas que podem 'traduzir' o código fonte entre dois idiomas (assumindo que o tradutor tenha acesso às bibliotecas necessárias)? Se houver, como eles funcionam (técnicas utilizadas, conhecimento necessário etc.)? Como eles poderiam ser construídos? Se não estiverem, quais são as restrições que impedem seu desenvolvimento? Esse é um problema …

28 computability  programming-languages  compilers 

Tem havido muita publicidade sobre os compiladores JIT para linguagens como Java, Ruby e Python. Como os compiladores JIT são diferentes dos compiladores C / C ++ e por que os compiladores escritos para Java, Ruby ou Python são chamados de compiladores JIT, enquanto os compiladores C / C ++ …

22 compilers 

No livro de Andrew W. Appel, Modern Compiler Implementation in ML , ele diz no capítulo 17 que a teoria da Computabilidade mostra que sempre será possível inventar novas transformações de otimização e prossegue para provar que um compilador totalmente otimizado resolverá o problema de parada: Um programa Q que …

20 computability  compilers  program-optimization