Semântica denotacional

Origem: Wikipédia, a enciclopédia livre.

Semântica denotacional designa uma abordagem de semântica formal. A semântica formal é uma das áreas de estudo de ciência da computação, preocupada em atribuir significado às contruções das linguagens de programação. Nesta abordagem, os significados são modelados por objetos matemáticos, geralmente funções semânticas definidas composicionalmente, que representam o efeito de executar uma estrutura.

Na semântica denotacional o efeito da computação interessa mais que como ela é produzida.

As funções semânticas usadas são funções que mapeiam estruturas da linguagem para funções parciais que representam o comportamento dos programas. Daí vem o nome da abordagem, denotacional, indicando que as funções semânticas denotam os significados das estruturas das linguagens de programação. A abordagem faz uso de cálculo lambda para modelar as funções.

A exigência de composicionalidade destas funções significa que elas podem ser compostas para representar o comportamento de comandos compostos. Por exemplo, o significado do comando de composição S₁;S₂ é dado por , e é a operação de composição de funções.

A semântica denotacional modela o significado de um laço de repetição usando pontos fixos (veja teoria dos pontos fixos). Um ponto fixo g₀ de um funcional F é dado por .

A abordagem denotacional foi proposta por Scott e Strachey, na monografia clássica "Toward a mathematical semantics for computer languages".

[editar] Ver também

• Semântica formal
• Ciência da computação
• Linguagens de programação
• Linguagens formais e compiladores

[editar] Referências

• Nielson, H. & Nielson, F. Semantics with Applications: a formal introduction. disponível em: http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html
• lâminas para curso de um semestre de duração de semântica formal a nível de graduação

[editar] Leitura adicional

• Dana Scott and Christopher Strachey. Toward a mathematical semantics for computer languages. Programming Research Group Technical Monograph PRG-6, Oxford Univ. Computing Lab., 1971.
• Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. ISBN:0262191474. 1977.
• Zohar Manna, Mathematical Theory of Computation, McGraw-Hill, 1974.