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] -------------------------------------------------------------------------
