Perguntas com a marcação «semantics»

Em um encadeamento diferente , Andrej Bauer definiu a semântica denotacional como: o significado de um programa é uma função dos significados de suas partes. O que me incomoda nessa definição é que ela não parece destacar o que é comumente considerado como semântica denotacional do que é comumente considerado …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Eu tenho lido " Semantics with Applications ", de Nielson & Nielson , e gosto muito do assunto. Eu gostaria de ter mais um livro sobre semântica da linguagem de programação - mas eu realmente posso conseguir apenas um. Dei uma olhada no livro de Turbak / Gifford , mas …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Considere esta questão resolvida. Não vou escolher a melhor resposta, pois todas elas contribuíram para minha compreensão do tópico. Não tenho certeza do benefício que temos ao definir formalmente a semântica da lógica de predicados. Mas vejo valor em ter um cálculo formal de prova. O que quero dizer é …

25 lo.logic  semantics 

Parece-me que a linguagem macro empregada por Talvez o X possa ser visto como algum tipo de sistema de reescrita de termos ou algum tipo de linguagem de programação com escopo de chamada por nome.TEXTEX\TeX Mesmo implementações modernas do Motor X (por exemplo, X e TTEXTEX\TeX ) interprete o código …

21 pl.programming-languages  semantics  term-rewriting-systems 

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 

Na seção "Introdução às linguagens de programação" de Anthony Aaby , sobre Semântica , ele faz a seguinte observação: Grande parte do trabalho na semântica das linguagens de programação é motivada pelos problemas encontrados na tentativa de construir e entender programas imperativos - programas com comandos de atribuição. Como o …

19 imperative-programming  semantics  big-picture 

Estou lendo A Implementação de Linguagens de Programação Funcional, de Simon Peyton Jones, e há uma declaração que me surpreendeu um pouco (na página 39): Em uma extensão muito maior do que é o caso das linguagens imperativas, as linguagens funcionais são amplamente variações sintáticas umas das outras, com relativamente …

17 functional-programming  semantics  imperative-programming 

Eu sou novo na teoria das linguagens de programação e estou procurando um bom recurso em um recurso para semântica formal de linguagens de programação. Procurando especificamente por semântica operacional estrutural. Eu tenho algumas recomendações de livros. Mas estou procurando um recurso em um nível mais introdutório. Especialmente tutoriais, recomendações …

17 reference-request  pl.programming-languages  semantics  formal-systems 

Existe alguma teoria da linguagem de programação descrevendo interfaces de função estrangeira (FFI) e várias ligações de linguagem? Eu perguntei alguns problemas de implementação no stackoverflow , o que não é adequado aqui. Mas gostaria de perguntar a partir da visualização deste site e ver o que eu poderia obter …

16 pl.programming-languages  semantics 

Os esforços de verificação do compilador geralmente se resumem em provar que o compilador é totalmente abstrato: preserva e reflete equivalências (contextuais). Em vez de fornecer provas completas de abstração, alguns trabalhos recentes de verificação do compilador (baseados em categorias) por Hasegawa [ 1 , 2 ] e Egger et. …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Q1 Quando podemos dizer que dois programas (escritos em alguma linguagem de programação como C ++) são diferentes? O primeiro extremo é dizer que dois programas são equivalentes se forem idênticos. O outro extremo é dizer que dois programas são equivalentes se eles computarem a mesma função (ou mostrarem o …

15 pl.programming-languages  semantics  equivalence 

Isenção de responsabilidade : enquanto me preocupo com a teoria dos tipos, não me considero um especialista em teoria dos tipos. No cálculo lambda de digitação simples, o tipo zero não possui construtores e um eliminador exclusivo: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} De um ponto …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Eu tenho perguntas sobre funções puras. De acordo com a página da Wikipedia, um dos requisitos para uma função pura é: A avaliação do resultado não causa nenhum efeito colateral ou saída semanticamente observável, como mutação de objetos mutáveis ​​ou saída para dispositivos de E / S. Agora, o que …

11 functional-programming  semantics 

Do artigo sobre estratégia de avaliação na Wikipedia: A noção de estratégia de redução no cálculo lambda é semelhante, mas distinta. Do artigo sobre estratégia de redução na Wikipedia: É semelhante, mas sutilmente diferente da noção de estratégia de avaliação em ciência da computação. Qual é a distinção sutil entre …

10 pl.programming-languages  lambda-calculus  semantics 

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