01366nam a2200217 a 450000100080000000500110000800800410001910000230006024501100008326000300019330000100022350000190023352007970025265000130104965000150106265300130107765300130109065300110110365300180111465300160113210886412007-12-12       1985    bl uuuu  m   00u1 u    #d1 aCOSTA, M. M. do C.  aDescrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas.  aRio de Janeiro: PUCc1985  a108p.  aTese Mestrado.  aA necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise.  aAnálise  aComputador  aAnalysis  aComputer  aPascal  aProgramação  aProgramming