Índice
-
- INF 5010: Otimização combinatória
- INF 5016: Algoritmos avançados
- INF 5023: Técnicas de busca heurística.
Ferramentas de Utilizador
Barra Lateral
inf05516
Tabela de Conteúdos
Página descontinuada, provavelmente o material não é mais acessível.
Semântica formal N (2006/1)
If you don't have a specification, it can't be wrong.
It can only be surprising.
Bem-vindo à semântica.
Informações gerais
Carga horária: 60 h (em 30 aulas de 2h)
Créditos: 4
Súmula: Introdução ao cálculo lambda. Domínios de Scott; pontos fixos de funções contínuas. Semântica denotacional. Semântica algébrica. Semântica de ações. Semântica axiomática. Semântica operacional.
Turma: B
Horário/Sala: Terça 10:30-12:10 e quinta 10:30-12:10 na sala 113 do prédio 43425 (vê também aqui).
Consultas: Quarta 13-15.
Detalhes: Vê o programa.
Datas importantes
- Aula de exercícios para recuparação no dia 29/06!
- Acha algums exercícios um baixo
Resultados
Materiais
- Página da disciplina em 2005/1 por Leila Ribeiro e Álvaro Freitas Moreira (não é disponível porque o claroline foi desligado).
- Página da disciplina em 2006/1 por Álvaro Freitas Moreira
Aulas
Aqui se acha uma versão dos slides das aulas (handout em preto e branco) junto com os exercícios.
| No. | Data | Tópicos | Material |
|---|---|---|---|
| 1 | 07/03/2006 | Administrativa. Introdução. | Slides, Discussão: Semântica de C e C++ |
| 2 | 09/03/2006 | Semântica operacional natural. | Slides, Exercícios 1 |
| 3 | 14/03/2006 | Princípios de indução e características da linguagem | Slides |
| 4 | 16/03/2006 | Características da linguagem. Semântica operacional estrutural. | Slides, Exercícios 2 |
| 5 | 21/03/2006 | Semântica operacional estrutural. Paralelismo. | Slides |
| 6 | 23/03/2006 | Introdução a OCaml. | Slides, Exercícios 3, Regras da SO |
| 7 | 28/03/2006 | Revisão da SO. Revisão de princípios de indução. | Slides |
| 8 | 30/03/2006 | Extensões de IMP: Escopos e procedimentos. | Slides, Exercícios 4 |
| 9 | 04/04/2006 | Sistemas de tipos. | Slides |
| 10 | 06/04/2006 | Semântica axiomática: Introdução. | Slides |
| 11 | 11/04/2006 | Semântica axiomática. Laços e exemplos. | Slides |
| 12 | 13/04/2006 | Semântica axiomática. Consistencia e completude. Corretude total. | Slides, Exercícios 5 |
| 13 | 18/04/2006 | Revisão para prova 1. | |
| 14 | 20/04/2006 | Semântica operacional e axiomática: Exercícios | Exercícios 6 |
| 15 | 25/04/2006 | Prova 1 | Prova 1 |
| 16 | 27/04/2006 | Resultados da prova 1. | Soluções prova 1 |
| 17 | 02/05/2006 | Introdução à semântica denotational e o cálculo lambda. | Slides, Proposta de trabalhos |
| 18 | 04/05/2006 | Semântica do cálculo lambda. | Slides, Exercícios 7 |
| 19 | 09/05/2006 | Semântica denotational do IMP: Expressões e comandos simples. | Slides, Texto sobre semântica denotational (Prof. Moreira) |
| 20 | 11/05/2006 | Semântica denotational do IMP: Laços. | Slides, Exercícios 8 |
| 21 | 16/05/2006 | Semântica denotational: Ordenações parciais e domínios. | Slides |
| 22 | 18/05/2006 | Semântica denotational: Domínios. Aplicação à IMP. | Slides |
| 23 | 23/05/2006 | Semântica denotational: Extensões. | Slides |
| 24 | 25/05/2006 | Semântica denotational: Extensões. | Slides, Exercícios 9 |
| 25 | 30/05/2006 | Revisão para prova 2. | Regras da SD |
| 26 | 01/06/2006 | Prova 2 | Prova 2 |
| 27 | 06/06/2006 | Resultados da prova 2. | Soluções prova 2 |
| 28 | 08/06/2006 | Apresentação dos trabalhos. | |
| 29 | 13/06/2006 | Apresentação dos trabalhos. | |
| 15/06/2005 | Feriado: Corpus_Cristi | ||
| 30 | 20/06/2006 | ||
| 29/06/2006 | Revisão, exercícios e perguntas. | Exercícios 10 | |
| 04/07/2006 | Recuperacão | Prova, Solução |
Suplementos
- Padrão da linguagem Scheme, em particular secção 7.2 sobre “Formal semantics”
- Padrão (antiga) da linguagem C++ (uso restrito: escreve email)
Bibliografia
- Glynn Winskel. The formal semantics of programming languages. MIT Press, February 1993. Bibliotéca: 681.32.06 W777f.
- Peter D. Mosses. Fundamental concepts and formal semantics of programming languages. BRICS & Department of Computer Science, University of Aarhus, Denmark, 2003.
- Hanne Riis Nielson and Flemming Nielson. Semantics with applications – A formal introduction. July 1999. INF: 681.3.01 N669s.
- Hanne Riis Nielson and Flemming Nielson. Semantics with applications: an appetizer. Wiley, 2006.
- Kenneth Slonneger and Barry Kurtz. Formal syntax and semantics of programming languages: a laboratory based approach. Addison-Wesley, 1995. INF: 681.32.06 S634f.
- Kim B. Bruce. Foundations of Object-Oriented Programming Languages: Types and Semantics. MIT Press, 2002. INF: 681.32.06 B887f.
- C. A. Gunter and D. S. Scott. Handbook of Theoretical Computer Science B, chapter Semantic domains. North Holland, 1990. INF: 681.3.01 H236L.
- Benjamin C. Pierce. Types and programming languages. MIT Press, 2002. 681.32.06 P615t.
- Matthew Hennessy. The semantics of programming languages: an elementary introduction using structural operational semantics. Wiley, 1990. 681.32.06 H515s.
- John C. Reynolds. Theories of Programming Languages. Cambridge University Press, 1998.
- Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Essentials of Programming Languages. MIT Press, second edition, 2001. INF: 681.32.06 F911e (1° edição).
Ainda não foi publicado. O successor de ''Semantics with applications – A formal introduction''
Mais informações sobre semântica em linguagens orientadas a objetos.
Detalhes sobre domínios semânticos usados na semântica denotacional.
inf05516.txt · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
