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

Embora a discussão demonstre fortes evidências de normalização, esse comentário contrasta o "modelo de formas normais" com os "métodos puramente sintáticos". Isso me leva de volta a uma pergunta mais básica: ainda podemos distinguir estritamente construções sintáticas e semânticas, diante de modelos baseados em sintaxe? E quanto aos modelos de …

14 lo.logic  pl.programming-languages  operational-semantics 

A página "Esquema avançado: alguns bits impertinentes" declara: As continuações são uma poderosa construção de fluxo de controle a partir da qual quase qualquer outra estrutura de fluxo de controle [...] pode ser derivada. Eu pensei que o esquema call/cc, estando relacionado (*) ao operador J de Peter Landin, pudesse …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Para uma prova de correção, estou procurando uma noção utilizável de equivalência de programa para os sistemas de tipo puro (PTSs) de Barendregt; falta isso, para sistemas de tipos específicos suficientes. Meu objetivo é simplesmente usar a noção, não investigá-la por si mesma.≅≅\cong Essa noção deve ser " extensional " …

10 pl.programming-languages  type-theory  operational-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