SBLP 2001

V Simpósio Brasileiro de Linguagens de Programação

23 a 25 de Maio de 2001

Auditório do SIMEPAR – Centro Politécnico

Universidade Federal do Paraná - Curitiba - PR - Brasil

Atenção: Esta programação não é definitiva, podendo sofrer mudanças nos horários.

Programação

A menos de indicação em contrário, todas as atividades a seguir serão realizadas no Auditório do SIMEPAR.

23/05/2001 - Quarta Feira

09:00 - 12:00 Recepção, inscrições e entrega de material.

12:00 - 14:00 Horário de almoço

14:00 - 15:30 Sessão Técnica 1:

· A definição da linguagem reativa síncrona- RS 5.0. Giovani R. Librelotto (UFRGS) e Simao Sirineo Toscani (UNICRUZ).

· Using Operational Semantics for the development of a Paralog Enviroment. Simone Nasser Matos Ferreira (CEFETPR, UFPR), Martin A. Musicante (UFPR).

· Avaliação Parcial de Programas usando CMIX/II. Fernando M. Q. Pereira (UFMG), Roberto S. Bigonha (UFMG), Vladimir Di Iorio (UFV), Mariza A. S. Bigonha (UFMG).

· Compilador da Linguagem Funcional Orientada por Objetos SCRIPT para C. Fabíola F. Oliveira (UFMG), Roberto S. Bigonha (UFMG), Mariza A. S. Bigonha (UFMG), Marco R. Costa(UFMG).

15:30 - 16:00 Coffee break

16:00 - 17:30 Palestra Convidada: Prof. Udday Reddy, University

18:00 - 19:00 Solenidade de Abertura

24/05/2001 - Quinta Feira

08:00 - 10:00 Tutorial

10:00 - 10:30 Coffee break

10:30 - 12:00 Sessão Técnica 2:

· A Monadic Combinator Compiler Compiler. Carlos Camarão (UFMC) e Lucília Camarão (UFOP)

· A Case Study of List Memory Paging in a Distributed Virtual Memory System for Functional Languages. Marco T. Morazan (SHU).

· Implementing a Computer Algebra System in Haskell. José Romildo Malaquias (UFOP).

· A Persistence Library for Haskell. André Santos (UFPE) e Bruno Monteiro (UFPE).

12:00 - 14:00 Horário de almoço

14:00 - 15:30 Sessão Técnica 3:

· Extensões de Geração para Máquinas de Estado Abstratas. Vladimir O. Di Iorio (UFV) e Roberto S. Bigonha (UFMG)

· Operational Semantics for Store Consistency.. Alvaro Freitas Moreira (UCS).

· Component-based Action Semantics: A new Aproach for Programming Language Specifications. Luis Menezes (UFPE), Hermano Moura (UFPE).

· A Formal Approach for Specifying XML-based Languages. Luiz Carlos Castro Guedes (UFF) e Edward Hermann Haeusler (PUC-RIO)

15:30 - 16:00 Coffee break

16:00 - 17:30 Palestra Convidada: Prof. Roberto Ierusalimschy, PUC-Rio.

17:45 - 19:00 Reunião do Comitê de Programa

20:30 - 23:30 Banquete

25/05/2001 - Sexta Feira

08:00 - 10:00 Tutorial

10:00 - 10:30 Coffee break

10:30 - 12:00 Sessão Técnica 4:

· Uma Linguagem Multiparadigma Orientada ao Desenvolvimento de Software Distribuído. Jorge Luis Victória Barbosa (UCPel), Cláudio Fernando Resin Geyer (UFRGS).

· Estudos sobre a concepção de uma linguagem de programação reflexiva e correspondente ambiente de execução. Leonardo R. Nunes (PUC-PR), Alcides Calsavara (PUC-PR)

· Reflexão e Persistência quando todos os Objetos são Atômicos. Paulo Rogério da Motta Junior (UERJ), Marcelo Germano Alencar (UERJ), Maria Alice Silveira de Brito (UERJ).

· Mobilidade de Grupos de Objetos em um Sistema para Programação Distribuída na Internet. Marco Túlio de Oliveira Valente (UFMG), Roberto da Silva Bigonha (UFMG), Mariza A. S. Bigonha (UFMG) e Antônio Loureiro (UFMG).

12:00 - 14:00 Horário de almoço.

14:00 - 15:30 Palestra Convidada: Prof. José Fuadeiro, Universidade de Lisboa – Portugal.

15:30 - 16:00 Coffee break.

16:00 - 17:30 Sessão Técnica 5:

· A Language for Specifying Java Transformations. Fernando Castor (UFPE) e Paulo Borba (UFPE).

· Controle de Concorrência com Java e Banco de Dados Relacionais. Sergio Soares (UFPE) e Paulo Borba (UFPE).

· An Idiom Exception for Treatment in C++ and Java. Jose de Oliveira Guimaraes (UFSCar).

17:45 - 19:00 Cerimônia de Encerramento.