Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel. Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos. In Julio César Sampaio do Prado Leite, Ana Regina Cavalcanti da Rocha, Claudia Motta, Marcelo Gattass, Pedro Manoel da Silveira, Roberto Antonio Rodrigues de Almeida, editors, Proceedings of the 7th Brazilian Symposium on Software Engineering, SBES 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993. pages 282-294, SBC, 1993. [doi]
Abstract is missing.