Alberto Pardo, Silvio Romero Lemos de Meira. O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação. In Paulo César Masiero, Antonio C. Lirani, Marcos R. S. Borges, Tadao Takahashi, editors, Proceedings of the 4th Brazilian Symposium on Software Engineering, SBES 1990, Águas de São Pedro, SP, Brazil, October 24-26, 1990. pages 30-43, SBC, 1990. [doi]
Abstract is missing.