b'\n_START_ARTICLE_\nSem\xc3\xa2ntica denotacional\n_START_PARAGRAPH_\nSem\xc3\xa2ntica denotacional designa uma abordagem de sem\xc3\xa2ntica formal. A sem\xc3\xa2ntica formal \xc3\xa9 uma das \xc3\xa1reas de estudo de ci\xc3\xaancia da computa\xc3\xa7\xc3\xa3o, preocupada em atribuir significado \xc3\xa0s constru\xc3\xa7\xc3\xb5es das linguagens de programa\xc3\xa7\xc3\xa3o. Nesta abordagem, os significados s\xc3\xa3o modelados por objetos matem\xc3\xa1ticos, geralmente fun\xc3\xa7\xc3\xb5es sem\xc3\xa2nticas definidas composicionalmente, que representam o efeito de executar uma estrutura._NEWLINE_Na sem\xc3\xa2ntica denotacional o efeito da computa\xc3\xa7\xc3\xa3o interessa mais que como ela \xc3\xa9 produzida._NEWLINE_As fun\xc3\xa7\xc3\xb5es sem\xc3\xa2nticas usadas s\xc3\xa3o fun\xc3\xa7\xc3\xb5es que mapeiam estruturas da linguagem para fun\xc3\xa7\xc3\xb5es parciais que representam o comportamento dos programas. Da\xc3\xad vem o nome da abordagem, denotacional, indicando que as fun\xc3\xa7\xc3\xb5es sem\xc3\xa2nticas denotam os significados das estruturas das linguagens de programa\xc3\xa7\xc3\xa3o. A abordagem faz uso de c\xc3\xa1lculo lambda para modelar as fun\xc3\xa7\xc3\xb5es._NEWLINE_A exig\xc3\xaancia de composicionalidade destas fun\xc3\xa7\xc3\xb5es significa que elas podem ser compostas para representar o comportamento de comandos compostos. Por exemplo, o significado do comando de composi\xc3\xa7\xc3\xa3o  \xc3\xa9 dado por , e  \xc3\xa9 a opera\xc3\xa7\xc3\xa3o de composi\xc3\xa7\xc3\xa3o de fun\xc3\xa7\xc3\xb5es._NEWLINE_A sem\xc3\xa2ntica denotacional modela o significado de um la\xc3\xa7o de repeti\xc3\xa7\xc3\xa3o usando pontos fixos (veja teoria dos pontos fixos). Um ponto fixo  de um funcional  \xc3\xa9 dado por ._NEWLINE_A abordagem denotacional foi proposta por Scott e Strachey, na monografia cl\xc3\xa1ssica "Toward a mathematical semantics for computer languages".'