DI UFPE Semântica de Java Visão Geral de Trabalhos Existentes.

Apresentação em tema: "DI UFPE Semântica de Java Visão Geral de Trabalhos Existentes."— Transcrição da apresentação:

1 DI UFPE Semântica de Java Visão Geral de Trabalhos Existentes

2 DI UFPE Semântica de Java - Sistema de Tipos n Consistência do sistema de tipos de Java u A execução de programas preserva os tipos u Drossopoulou e Eisenbach Imperial College, Inglaterra l Don Syme - Cambridge l Oheimb e Nipkow - Universidade de Munique (Alemanha)

3 DI UFPE Semântica de Java - “Bytecodes” n Estudo de “bytecodes” u Borger (Pisa, Itália) e Schulte (Ulm, Alemanha) Prova de corretude de compiladores u Jensen, Le Metayer e Thorn (INRIA) Segurança e “dynamic class loading” u Qian (USA) Corretude do verificador

4 DI UFPE Semântica de Java - Linguagem n Abordagem operacional u Drossopoulou e Eisenbach Imperial College, Inglaterra u Isabelle Attali, Denis Caromel e Marjorie Russo INRIA n Abordagem algébrica (mas também operacional) u Borger (Pisa, Itália) e Schulte (Ulm, Alemanha) u Wallace (Michigan, USA) n Semântica de Ações u David Watt Glasgow, Escócia

5 DI UFPE Semântica de Java Formal Executable Semantics for Java Extended Abstract Isabelle Attali, Denis Caromel e Marjorie Russo INRIA Sophia Antipolis

6 DI UFPE Semântica de Java n Grande subconjunto de Java Herança, “dynamic binding”, “multi-threading”  Semântica de grandes passos descreve orientação a objetos  Semântica de pequenos passos descreve “multi- threading” u Sistema Centaur n Resultados u Ambiente de programação u Semântica formal de Java