Português English
Contato

Lista de Disciplinas | CMP169

Semântica Formal B


Professor Responsável:
 Daltro José Nunes
Carga Horária: 60 hs
Créditos: 4
Semestres Oferecidos: Segundo semestre

SÚMULA
Visão geral sobre abordagens semânticas, abordagem axiomática, abordagem denotacional, abordagem operacional, tendências futuras

OBJETIVOS
O objetivo da disciplina é analisar e aplicar os formalismos e métodos das várias abordagens semânticas das linguagens de programação.

PROGRAMA
Abordagens: denotacional, axiomática, operacional e de ações

CRITÉRIOS DE AVALIAÇÃO
Apresentação de um seminário sobre a abordagem operacional.

BIBLIOGRAFIA
• DONAHUE, J. E. Complementary Definitions of Programming Language Semantics.
Springer-Verlag, 1976. (Lecture Notes in Computer Science, 42)
• GRIES, D. The Science of Programming. Springer-Verlag, 1981.
• HOARE, C. A. R., LAUER, P. E. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Informática, Berlin, v. 2, n. 4, p. 335-56, Dec. 1973.
• MANNA, Z. Mathematical Theory of Computation. McGrawHill, 1974.
• MILNE, R., STRACHEY, C. A Theory of Programming Language Semantics. Chapman and Hall, 1976.
• SCOTT, D. S. Logic and Programming Languages. Communications of the ACM, New York, v. 20, n. 9,p 634-41, Sept. 1977.
• Periódicos e anais de congressos.