Perguntas com a marcação «semantics»

Na semântica da linguagem de programação, costuma-se ouvir as pessoas falando sobre significado e denotação . Eles parecem não ser os mesmos. Qual é a diferença? O primeiro está associado à semântica operacional e o segundo à semântica denotacional? Obrigado.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

O capítulo de Smyth no manual de lógica em ciência da computação e outras referências descrevem como os espaços métricos podem ser usados ​​como domínios. Entendo que espaços métricos completos fornecem pontos fixos exclusivos, mas não entendo por que os espaços métricos são importantes. Eu realmente aprecio qualquer opinião sobre …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Ao lidar com as categorias teóricas de domínio (como CPO e CPO), frequentemente desejo um dicionário para o idioma da teoria de categorias na teoria de domínios.ωω\omega Ou seja, dado um conceito, digamos seta mônica, eu poderia procurar no dicionário e ver quais são as caracterizações conhecidas dele nas diferentes …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

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 

Esta é uma pergunta que fiz no fórum de matemática SE, e fui encaminhada aqui. Então aqui está a questão- Eu sou um novato em matemática formal e em ciência da computação teórica, então, por favor, tenha paciência comigo se achar que minha pergunta não está devidamente enquadrada. A Modelagem …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

Li as partes introdutórias de alguns livros sobre semântica da linguagem de programação (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt) e, embora compreenda o que eles querem dizer com categorias sintáticas ou domínios sintáticos , não entendi. não encontre uma definição rigorosa e direta deles. Existe uma definição padrão, …

8 semantics  denotational-semantics  definitions 

Existe alguma semântica categórica para lógicas não monotônicas? Parece que a resposta simples para isso é "Não", pois a noção óbvia de composição falha em qualquer modelo de lógica não monotônica. Mas existe um modelo que realmente funcione com uma noção de composição adequadamente definida?

8 ct.category-theory  semantics  denotational-semantics 

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