Perguntas com a marcação «denotational-semantics»

Eu estou familiarizado com a semântica operacional (passo a passo e passo a passo) para definir linguagens de programação. Também estou interessado em aprender semântica denotacional, mas não sei se valerá a pena. Estarei aprendendo o mesmo material de um ponto de vista diferente, ou há idéias que só posso …

14 semantics  operational-semantics  denotational-semantics 

Eu sei que autores diferentes usam notação diferente para representar a semântica da linguagem de programação. De fato, Guy Steele aborda esse problema em um vídeo interessante . Gostaria de saber se alguém sabe se o operador líder de torniquete tem um significado bem reconhecido. Por exemplo, eu não entendo …

12 type-theory  denotational-semantics 

Estou lendo um comentário sobre Milner, "O uso de máquinas para ajudar em provas rigorosas", de Mike Gordon. Neste artigo, ele explica como LCF nasceu das idéias da semântica denotacional de Dana Scott e Strachey. Parece-me que a lógica Floyd-Hoare não foi suficiente para o desenvolvimento da LCF, mas não …

8 hoare-logic  automated-theorem-proving  denotational-semantics 

Estou trabalhando para escrever um documento fácil de ler sobre a semântica denotacional do cálculo lambda. Para isso, introduzo CPOs, monotonicidade e continuidade. Um CPO é um conjunto com uma ordem parcial e um elemento inferior , exigindo que seja o menor elemento em e a existência do limite superior …

7 computability  denotational-semantics