Ementas das Disciplinas

Semântica de Linguagem de Programação

Código: MCZA046-14

T-P-I: 4-0-4

Carga Horária: 48 horas

Recomendações:  Programação Orientada a Objetos, Lógica Básica, Linguagens Formais e Autômata

Ementa: Semântica Operacional: estrutural e natural. Semântica Denotacional. Semântica Axiomática. Aplicação em demonstração de corretude. Noções rudimentares de semântica de programas concorrentes.

Bibliografia Básica

  1. NIELSON, H. R.; NIELSON, F. Semantics with Applications: An Appetizer. London: Springer, 2007.

  2. PIERCE, B. Types and programming languages. Cambridge, MA: MIT Press, 2002.

  3. TURBAK, F.; GIFFORD, D.; SHELDON, M. A. Design Concepts in Programming Languages. MIT Press, 2008.

Bibliografia Complementar

  1. WINSKEL, G. Formal Semantics of Programming Languages. Cambridge, MA: MIT Press, 1993.

  2. GUNTER, C. A. Semantics of Programming Languages: Structures and Techniques. Cambridge, MA: MIT Press, 1992.

  3. SLONNEGER, K.; KURTZ, B. Formal Syntax and Semantics of Programming Languages. Boston: Addison-Wesley, 1995.

  4. AGHA, G. Actors: A model of concurrent computation in distributed systems. (tese de doutorado) MIT AI Lab Tech Report 884, 1986.

  5. ROSCOE, A. W. The theory and practice of concurrency. Upper Saddle River: Prentice Hall, 1997.

  6. HOARE, C. A. R. Communicating sequential processes. Upper Saddle River: Prentice Hall, 2004 (1985).

  7. BARENDREGT, H. The lambda calculus: its syntax and semantics. Milton Keynes: College Publications, 2012.

  8. BARENDREGT, H.; DEKKERS, W.; STATMAN, R. Lambda calculus with types. Cambridge: Cambridge University Press, 2013.

  9. HANKIN, C. An introduction to lambda calculi for computer scientists. London: King's College, 2004.

  10. FERNANDEZ, M. Programming languages and operational semantics: an introduction. King's College Publications, 2004.

  11. HÜTTEL, H. Transitions and Trees: An Introduction to Structural Operational Semantics. New York: Cambridge, 2010.

Share

Cursos de Licenciatura e Bacharelado em Matemática da UFABC são os Melhores do Brasil

 Cursos de graduação da UFABC estão entre os melhores do Brasil segundo levantamento do MEC. Os últimos  resultados do IGC (Índice Geral de Cursos) colocaram a UFABC em segundo lugar entre as melhores universidades do país.

Os cursos de Bacharelado em Matemática  e Licenciatura em Matemática foram avaliados como os melhores do Brasil em suas respectivas categorias.

Leia Mais

Matemático foi escolhida a melhor profissão de 2014

Matemático aparece como a melhor profissão em 2014,  segundo ranking divulgado pela Careercast.com. A lista completa tem 200 profissões e leva em conta o quanto o emprego afeta a parte física do trabalhador, além de ambiente de trabalho, renda, nível de estresse e perspectivas de contratação.

Leia Mais