Program
Transformation in Martin-Löf's Type Theory
(joint work with Sylvia da Rosa)
In CADE-12 Workshop on Proof-search in type-theoretic languages
, Nancy, France, June 1994.
Representing Program Transformations in Martin-Löf's Type Theory
(joint work with Sylvia da Rosa)
Extended version of CADE-12 Workshop's paper. October 1994.
Technical Report, Instituto de Computación, Facultad de Ingeniería,
Universidad de la República, Montevideo, Uruguay.
An Algebraic Approach to Syntax and Semantics
Draft notes, TU Darmstadt, October 1993.
Transformational Programming (in spanish)
(joint work with Sylvia da Rosa)
Technical Report 02-92, PEDECIBA Informática, Montevideo,
Uruguay, 1992.
Formal Semantics Applied to the Source-to-Source Translation of Programming
Languages (in portuguese)
Master's Thesis, Departamento de Informatica, Universidade Federal
de Pernambuco, Recife, Brazil, 1990.
The Use of Inductive and Denotational Semantics in Source-to-Source
Translation of Programming Languages (in portuguese)
(joint work with Silvio Meira)
In 4th Brazilian Symposium of Software Engineering, São Carlos,
Brazil, October 1990. (An extended version appears in Brazilian Computation
Magazine, SBC, Vol. 6, Nro. 2, 1990.)
Source-to-Source Translation of Programming Languages Based on Formal
Semantics (in portuguese)
(joint work with Silvio Meira)
In 10th Congress of the Brazilian Society of Computation, Vitória,
Brazil, July 1990.
LindA: An Automatic Authorship Language for Hypertext (in portuguese)
(joint work with Ana Lucia Cavalcanti, Judith Kelner)
In 3rd Brazilian Symposium on Software Engineering, Recife, Brazil,
October 1989.
On the Use of Structured Inductive Semantics in Source-to-Source
Translation of Programming Languages
(joint work with Silvio Meira, Ana Lucia Cavalcanti)
Technical Report, DI-UFPE, Recife, Brazil, 1989.
The Gama-Phi Algorithm - A Specification in Zc (in portuguese)
Technical Report, DI-UFPE, Recife, Brazil, 1989.
The Gama-Phi Algorithm - A Specification in Z (in portuguese)
Technical Report, DI-UFPE, Recife, Brazil, 1989.
The Gama-Phi Algorithm - A Specification in VDM (in portuguese)
(joint work with Silvio Meira and Augusto Sampaio)
Technical Report, DI-UFPE, Recife, Brazil, 1989.
An Implementation of Wolfe's Method for Quadratic Programming
(in spanish)
(joint work with Daniel Panario)
In 3rd CLAIO (Latin-american Congress in Operational Research and System
Engineering), Santiago de Chile, Chile, August 1986.