Semântica Formal (2014/1)

Informações gerais

Carga horária: 60 hs (30 aulas de 1 hora e 40 minutos)
Créditos: 4
Horário: terças e quintas, 13:30 - 15:10 (turma A) e 15:30 - 17:10 (turma B)
Atendimento: Sala 220 do prédio 67

* Programa da disciplina

* Notas da P1 - turma A

* Notas da P1 - turma B

* **** RESULTADOS - turmas A e B *****

* Prova I

* Prova II

Notas de aula

Bibliografia

Logic in Computer Science: Modelling and Reasoning about Systems
Michael Huth, Mark Ryan
Editora Cambridge University Press (ISBN 978852161610)

Types and programming languages
Pierce, Benjamin Pierce
Editora Mit Press (ISBN 0262162091)
Disponível em http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321

Leituras Complementares

Abaixo seguem ótimos artigos que tratam de assuntos que, de uma forma ou de outra, foram tratados nessa disciplina:

Retrospective: An Axiomatic Basis for Computer Programming - Entrevista com Tony Hoare

Technical Perspective: A Compiler's Story - Ótima introdução ao artigo Formal Verification of a Realistic Compiler (ver abaixo)

OCaml for the Masses

Solving the Unsolvable - Editorial da CACM sobre o artigo Proving Program Termination (ver abaixo)

Formal Verification of a Realistic Compiler

Proving Program Termination

Trabalho

Trabalho 2014-1

Turma A

Grupo Data Hora Componentes
1 01/7 13:30 Bruno Veck Milao, Helena Michaelsen Roesler, Vinicius Alves Herbstrith
2 01/7 14:00 Lourenço Jacobs, André Telles, Pedro Martins Costa
3 01/7 14:30 Fernando Bombardelli da Silva, Ulisses Bertoldi, William Bombardelli da Silva
4 03/7 13:30 Guilherme Antonio Camelo, João Lauro Garibaldi Júnior, Juliano Nakamura
5 03/7 14:00 Rafael Valer, Henrique Moura, Gabriel Barufi Veras
6 03/7 14:30 Guilherme Oliveira, Ramon Raupp, Rodrigo Jantsch

Turma B

Grupo Data Hora Componentes
1 01/7 15:30 Giovani Gheno Bombardieri, Pedro Araujo Cantarutti, Suelen Marques Martins
2 01/7 15:55 Cristiano Ruschel, Gabriel Mattos, Eduardo Graebin de Farias
3 01/7 16:20 Jessica T. Reinaldo, Daniel Bossle, Scheila P. Chilanti
4 01/7 16:45 Matheus dos Santos Gonzaga, Eduardo Pereira, Nelson Antônio Antunes Júnior
5 03/7 15:30 Bruno Soares Fillman, João Paulo T Ruschel, João Pedro D Reis
6 03/7 15:55 Inatan Lopes Hertzog, Marina Fortes Rey, Pedro Henrique Arruda Faustini
7 03/7 16:20 Alister Machado, Eduardo Vernier e Luis Felipe Polo
8 03/7 16:45 Gabriel Manzoni Moreira, Guilherme Longoni, Ricardo Godoy de Oliveira
 
inf05516.txt · Last modified: 2014/07/08 09:28 by afmoreira
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki