Lista completa

1

H. Moura and D. A. Watt. Action transformations in the ACTRESS compiler generator. In Compiler Construction, pages 16-30. Springer-Verlag, April 1994. Volume 786 of Lecture Notes in Computer Science.

2

H. Moura. Action notation transformations. Departmental Research Report FM-1993-?, University of Glasgow, Department of Computing Science, Glasgow, Scotland, 1993.

3

H. Moura. An implementation of action semantics. Departmental Research Report FM-1993-?, University of Glasgow, Department of Computing Science, Glasgow, Scotland, 1993.

4

H. Moura. Action Notation Transformations. PhD thesis, University of Glasgow, Department of Computing Science, Glasgow, Scotland, December 1993.

5

D. F. Brown, H. Moura, and D. A. Watt. ACTRESS: an action semantics directed compiler generator. In U. Kastens and P. Pfahler, editors, Compiler Construction, pages 95-109. Springer-Verlag, October 1992. Lecture Notes in Computer Science, volume 641.

6

H. Moura. An implementation of action semantics (summary). In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, pages 477-478. Springer-Verlag, August 1992. Lecture Notes in Computer Science 631.

7

H. Moura. Relatório CNPq 1991/1992, July 1992.

8

D. F. Brown, H. Moura, and D. A. Watt. ACTRESS: an action semantics directed compiler generator. Departmental Research Report FM-1992-1, University of Glasgow, Department of Computing Science, June 1992.

9

D. F. Brown, H. Moura, and D. A. Watt. Towards a realistic semantics-directed compiler generator. In R. Heldal, C. K. Holst, and P. Wadler, editors, Functional Programming, Glasgow 1991, pages 51-55. Springer-Verlag, August 1991. Workshops in Computing Series.

10

H. Moura. Relatório CNPq 1990/1991, July 1991.

11

H. Moura. Relatório CNPq 1989/1990, July 1990.

12

H. Moura. Tipos de dados em linguagens funcionais. Master's thesis, Universidade Federal de Pernambuco, Departamento de Informática, September 1989. In Portuguese.

13

Hermano Moura and Silvio Lemos Meira. Especificações executáveis em VDM/Standard ML. Relatório Técnico RT - DI/UFPE 19/88, Universidade Federal de Pernambuco, Departamento de Informática, Recife, Brazil, 1988. In Portuguese.