da série "Palestras interessantes que poderíamos assistir":
SEMINÁRIOS DE COMPUTAÇÃO “Semântica de Ações Orientada a Objetos” Prof. Dr. Martin Musicante Departamento de Computação Universidade Federal do Paraná Data: 22/05 (quarta-feira) Horário: 14 horas Local: Auditório Professor Luiz Antonio Favaro Resumo: Neste trabalho, propomos Object-Oriented Action Semantics, um formalismo que combina noções de orientação a objetos para a descrição formal de linguagens de programação. Neste formalismo, a estrutura sintática de uma linguagem de programação é usada como base na formação de uma hierarquia de classes. A combinação dos objetos dessas classes forma a descrição da semântica de um programa. A semântica das frases é definida (de forma composicional) dentro de cada classe, mediante fuções semânticas em Semântica de Ações. Estas funções corespondem à noção de método em orientação a objetos. Apresentaremos a notação por meio de exemplos. Apresentaremos, também, a semântica operacional da notação. Este trabalho é uma pesquisa em andamento, em conjunto com Claudio R. V. Carvilhe. www.icmc.sc.usp.br/~eventos/palestras.html =============================== Seção de Eventos - ICMC-USP Av. Trabalhador São-carlense, 400 São Carlos - SP fone/fax:(0xx16) 2739146 e-mail: [EMAIL PROTECTED] =============================== _________________________________________________________________ Chegou o novo MSN Explorer. Instale já. É gratuito: http://explorer.msn.com.br ------------------------------ LISTA SOUJAVA ---------------------------- http://www.soujava.org.br - Sociedade de Usuários Java da Sucesu-SP dúvidas mais comuns: http://www.soujava.org.br/faq.htm regras da lista: http://www.soujava.org.br/regras.htm historico: http://www.mail-archive.com/java-list%40soujava.org.br para sair da lista: envie email para [EMAIL PROTECTED] -------------------------------------------------------------------------
