II SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO 3 A 5 de setembro de 1997 Coordenadora: Cecília M. F. Rubira Vice-Coordenador: Luiz E. Buzato Instituto de Computação - UNICAMP PROGRAMAÇÃO

PALESTRAS CONVIDADAS

• Active Objects in Oberon: Unification of Objects and Processes (abstract)
  
  Prof. Jurg Gutknecht (Dept. of Computer Science, ETH-Zurich, Switzerland)
  

  Beyond Modularization and OOP: Composable Software (abstract)
  

  Prof. Jurg Gutknecht (Dept. of Computer Science, ETH-Zurich, Switzerland)
  

  A Conceptual Approach to Programming Languages (abstract)
  

  Prof. Kristen Nygaard (Univ. of Oslo, Norway)
  

  GOODS to Appear on the Stage (abstract)
  

  Prof. Kristen Nygaard (Univ. of Oslo, Norway)
  

  Evolution of Programming Languages (abstract)
  

  Prof. Mehdi Jazayeri (Information Systems Institute, TU, Vienna)
  

  Java: its heritage and its usage (abstract)
  

  Prof. Mehdi Jazayeri (Information Systems Institute, TU, Vienna)
  

  Visual Languages for Programming (abstract)
  

  Prof. Stefano Levialdi (Dipartimento Scienze delll'Informazione, Univ. di Roma)
  

  Visual Languages for Communicating with Programs (abstract)
  

  Prof. Stefano Levialdi (Dipartimento Scienze delll'Informazione, Univ. di Roma)
  

MINI-CURSOS

• Reflexão Computacional no Modelo de Objetos (abstract)
  
  Prof. Maria Lúcia Blanck Lisboa (Inst. Inf., UFRGS, Brasil)
  

  Programação em Java (abstract)
  

  Prof. Alexanfre Oliva (Inst. de Computação, UNICAMP, Brasil)
  

ARTIGOS SELECIONADOS

• Implementando Haskell usando uTCMC (abstract)
  
  Ricardo M. F. Lima, Genésio G. C. Neto, José Airton S. Filho,
  Bruno de O. Lira e Rafael D. Lins
  

  Binding an Interpreted Language to CORBA (abstract)
  

  Renato Cerqueira, Noemi Rodriguez e Roberto Ierusalimschy
  

  Um Mecanismo Geral para Interfaceamento de Bibliotecas (abstract)
  

  Evandro Bacarin e Tomasz Kowaltowski
  

  MIDAS: A Visual Language for Multimedia Document Specification (abstract)
  

  Maria Carla A. Gonçalves e Joaquim A.P. Jorge
  

  Um Modelo Semântico Alternativo para Concorrência: Estudo de Caso para uma Linguagem de Especificação (abstract)
  

  João Bosco M. Sobral, Jorge L.S. Leão e Aloysio C. P. Pedroza
  

  Linking Theories in Probabilistic Programming (abstract)
  

  He Jifeng e C. A. Hoare
  

  Class Types (abstract)
  

  Carlos Camarão e Lucília Figueiredo
  

  INES: Ambiente para Construção Assistida de Editores Estruturados baseados em SGML (abstract)
  

  Alda R. Lopes, José Carlos Ramalho e Pedro R. Henriques
  

  Objetos Concorrentes em Máquina de Estados Abstratos Distribuída (abstract)
  

  Marcelo de A. Maia e Roberto da S. Bigonha
  

  MIDAS: Um Ambiente de Desenvolvimento de Reconhecedores Sintáticos Baseado em Autômatos Adaptativos (abstract)
  

  Joel Camargo Dias Pereira e João José Neto
  

  Arquitetura de Subsunção aplicada à Linguagem Reativa Síncrona RS (abstract)
  

  Gustavo V. Arnold e Simão Toscani
  

  From Diagram to Code via Attribute Grammar (abstract)
  

  Isabel Cafezeiro, Edward H. Haeusler e Armando M. Haeberer
  

  An Architecture for Semantically Based Code Migration (abstract)
  

  Alex de V. Garcia, Edward H. Haeusler e Armando M. Haeberer
  

  Towards a Categorical Model for Language Translation (abstract)
  

  Alex de V. Garcia, Edward H. Haeusler
  

  Parameterized Packages and Java (abstract)
  

  Débora Aranha e Paulo Borba
  

  Usando Metaobjetos para Implementar Padrões (abstract)
  

  José de O. Guimarães, Elisa Tomioka e Antônio F. Prado
  

  Exceções e a Construção de Programas Confiáveis (abstract)
  

  Delano M. Beder, Luiz E. Buzato e Cecília M. F. Rubira
  

  Reflexão Computacional em Linguagens de Programação: Um Estudo de Comparativo (abstract)
  

  Rômulo C. Silva, Sand L. Corrêa, Cecília M. F. Rubira e Luiz E. Buzato
  

  Concepção, Especificação e Implementação de Processadores de Linguagens Visuais (abstract)
  

  Maria Jõao Varanda, Jorge G. Rocha e Pedro R. Henriques
  

  Smart Compiling for Eiffel (abstract)
  

  Miguel M. Carmona, Miguel K. Mora e Tomás C. Alvarez
  

  More About System-level Validity in Eiffel (abstract)
  

  Yania Crespo e Miguel K. Mora