 |
I SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO
4 a 6 de setembro de 1996
PROGRAMAÇÃO
|
 |
Dia 4 (Quarta-feira):
08:00 INSCRIÇÕES
10:00 AMBIENTES DE PROGRAMAÇÃO LÓGICA / DISTRIBUÍDA
- 10:00 :
A Literate Logic Programming System
(abstract)
- Pierre Deransart, Roberto da Silva Bigonha,
Patrick Parot,
Mariza Andrade da Silva Bigonha,
José de Siqueira
- 10:30 :
Um Sistema de Programação Baseado em Memória Compartilhada
Distribuída
(abstract)
- Luciana Bezerra Arantes,
Líria Matsumoto Sato
- 11:00 :
Implementação Automática, Orientada a Objetos,
de Especificações Estelle na Linguagem C++
(abstract)
-
Wanderley Lopes de Souza,
Antônio Francisco do Prado,
Antônio Carlos Lima de Santana,
- 11:30 :
DisCo: Um Ambiente para Programação Distribuída
Dinâmicamente Reconfigurável
(abstract)
-
Virgínia C. Carneiro de Paula,
Frederico Costa Guedes Pereira,
Sílvio Soares Bandeira,
Paulo Roberto Freire Cunha
- 12:00 :
LUCI - Implementação Distribuida do Modelo Linda
(abstract)
-
César Roberto Leonhardt, Edson Perotoni, Marcio d'Avila Scheibler,
Iara Augustin
12:30 ALMOÇO
14:00 ABERTURA
14:30 TÉCNICAS DE COMPILAÇÃO
- 14:30 :
Alocação de Registradores a Dado de Tamanho Variável e
Escalonamento de Instruções
(abstract)
- Mariza Andrade da Silva Bigonha,
José Lucas Mourão Rangel Netto
- 15:00 :
Análise Global na Programação em Lógica
(abstract)
-
Jorge Luis Victória Barbosa,
Cláudio Fernando Resin Geyer
- 15:30 :
Um Sistema de Depuração Reflexivo para uma Linguagem de Extensão
(abstract)
-
Tomas Guisasola Gorham,
Roberto Ierusalimschy
- 16:00 :
Aspectos Implementacionais de um Gerador de Analisadores Sintáticos
para o Suporte a Sistemas Transformacionais
(abstract)
-
Felipe Gouveia de Freitas,
Júlio César Sampaio do Prado Leite,
Marcelo Sant'Anna,
Antônio Francisco do Prado
- 16:30 :
Implementação de uma Linguagem Icônica para Desenvolvimento
de Software para Microcontroladores
(abstract)
-
Antônio Heronaldo de Sousa,
Elnatan Chagas Ferreira
17:00 CAFÉ
17:30 MINI-CURSO (2h)
Teoria das Categorias
Edward Hermann Haeusler (PUC-Rio)
Dia 5 (Quinta-feira):
8:00 IMPLEMENTAÇÃO DE LINGUAGENS FUNCIONAIS
Implementando uma Linguagem Funcional Pura com uma Máquina-G Estendida
(abstract)
Marcelo de Almeida Maia,
Roberto da Silva Bigonha
8:30 :
An Object Oriented Model for Semantics Directed Compiler Generation
(abstract)
Luiz Carlos Castro Guedes,
Edward Hermann Haeusler,
José Lucas Rangel
9:00 :
Novas Técnicas de Otimização de Código em T-CMC
(abstract)
Genésio Gomes da Cruz Neto,
Ricardo Massa Ferreira Lima,
Rafael Dueire Lins,
André Luiz de Medeiros Santos
9:30 :
Compilação Eficiente de Linguagens Funcionais
Através de Transformação de Programas
(abstract)
André Luis de Medeiros Santos
10:00 CAFÉ
10:30 CONFERÊNCIA I
Concurrent Haskell
Simon Peyton Jones (University of Glasgow, Scotland)
12:00 ALMOÇO
14:00 ASPECTOS FORMAIS DE LINGUAGENS DE PROGRAMACAO
Adaptando a Semântica Denotacional para o Desenvolvimento de
Aplicações
(abstract)
Joyce Martins,
Raul Sidnei Wazlawick,
Daltro José Nunes
14:30 :
On the Separability of Denotational Semantics
(abstract)
Luiz Carlos Castro Guedes,
Edward Hermann Haeusler
15:00 :
States as Specifications
(abstract)
Paulo Borba
15:30 :
Refinement in a Concurrent, Object-Based Language
(abstract)
P. Blauth Menezes, A. Sernadas,
J. Félix Costa
16:00 :
Translating a Configuration Language to the pi-Calculus
(abstract)
Giovanny F. Lucero,
Fábio Q. B. da Silva
16:30 :
Paradigmas de Linguagens de Programação: uma abordagem geométrica
(abstract)
Isabel Cafezeiro,
Edward Hermann Haeusler
17:00 CAFÉ
17:30 MINI-CURSO (2h)
Teoria das Categorias
Edward Hermann Haeusler (PUC-Rio)
19:30 INTERVALO
20:00 PROGRAMAÇÃO SOCIAL
Momento Brasileiro
Nelson Salomé de Oliveira (bandolim e percussão)
Ana Cláudia de Assis (teclado e percussão)
Marcelo Pereira (Flauta)
José Geraldo Salomé Mangia (violão)
Dia 6 (Sexta-feira):
8:00 TUTORIAL
An Overview of Action Semantics
(abstract)
Hermano Perrelli de Moura
9:00 PROJETO DE LINGUAGENS DE PROGRAMACAO
- 9:00 :
A Linguagem OWB: Combinando Objetos e Lógica
(abstract)
-
Analía Amandi,
Ana Price
- 9:30 :
GOOD - Uma Linguagem de Programação Orientada a Objetos e Concorrente
Dedicada a Aplicações Gráficas
(abstract)
-
Tiago Garcia de Senna Carneiro,
Marcelo de Almeida Maia
10:00 CAFÉ
10:30 CONFERÊNCIA II
Lazy vs. Strict
Philip Wadler (University of Glasgow, Scotland)
12:00 ALMOÇO
14:00 ORIENTAÇÃO POR OBJETOS
- 14:00 :
Covariância x Contravariância: A Solução de Ita
(abstract)
-
Marco Túlio de Oliveira Valente,
Roberto da Silva Bigonha
- 14:30 :
Class Extension
(abstract)
-
José de Oliveira Guimarães,
Ralph E. Johnson
- 15:00 :
JAVA/RTR - Uma Linguagem Reflexiva para Programação de
Aplicações Tempo-Real
(abstract)
-
Olinto Furtado, Jean-Marie Farines
- 15:30 :
Módulos em Linguagens Orientadas a Objetos
(abstract)
-
Renato Borges,
Roberto Ierusalimschy
- 16:00 :
Técnicas de Orientação a Objetos para Tolerância a Falhas
(abstract)
-
Maria Lúcia Blanck Lisbôa,
Cecília M. Fischer Rubira
- 16:30 :
Meta-Object Manager: A Framework for Customizable Meta-Object Support
for Smalltalk-80
(abstract)
-
Marcelo R. Campo,
R. T. Price
17:00 ENCERRAMENTO