Recent Publications

Books

• Programming Language Design Concepts, Wiley (2004).
• Java Collections - An Introduction to Abstract Data Types, Data Structures, and Algorithms, Wiley (2001) [with Deryck Brown].
• Programming Language Processors in Java - Compilers and Interpreters, Prentice-Hall (2000) [with Deryck Brown].
• Compiler Construction - 9th International Conference, Lecture Notes in Computer Science 1781, Springer (2000) [editor].
• Programming Language Processors - Compilers and Interpreters, Prentice-Hall International Series in Computer Science (1993).
• Programming Language Syntax and Semantics, Prentice-Hall International Series in Computer Science (1991).
• Programming Language Concepts and Paradigms, Prentice-Hall International Series in Computer Science (1990).

Papers

• The implementation of Monty - a programming/scripting language, submitted to ECOOP 2006 [with Wiyono Aten].
• The design of Monty - a programming/scripting language, Electronic Notes in Theoretical Computer Science 141, 5-28 (2005). Also available in PDF.
• Programming languages - trends in education, in Proc. Simposio Brasileiro de Linguagens de Programacao (ed. Borba, P.), Universidade Federal de Pernambuco, Recife, Brazil (2000). Also available in Postscript.
• Formalizing the dynamic semantics of Java, pp. 1-18 in Proc. 3rd International Workshop on Action Semantics (ed. Mosses, P.D., and Moura, H.), BRICS NS-00-6, University of Aarhus, Denmark (2000).
• JAS: a Java action semantics, pp. 43-56 in Proc. 2nd International Workshop on Action Semantics (ed. Mosses, P.D., and Watt, D.A.), BRICS NS-99-3, University of Aarhus, Denmark (1999) [with Deryck Brown].
• The static and dynamic semantics of Standard ML, pp. 155-172 in Proc. 2nd International Workshop on Action Semantics (ed. Mosses, P.D., and Watt, D.A.), BRICS NS-99-3, University of Aarhus, Denmark (1999).
• Why don't programming language designers use formal methods?, pp. 1-16 in Anais XXIII Seminário Integrado de Software e Hardware (ed. Barros, R.), Universidade Federál de Pernambuco, Recife, Brazil (1996). Also available in Postscript.
• Using ASF+SDF to interpret and transform actions, pp. 129-142 in Proc. 1st International Workshop on Action Semantics (ed. Mosses, P.D.), University of Aarhus, Denmark (1994).
• Action transformations in the Actress compiler generator, pp. 16-30 in Compiler Construction - 5th International Conference CC'94 (ed. Fritzson, P.), Springer LNCS (1994) [with Hermano Moura].
• Actress - an action semantics directed compiler generator, pp. 95-109 in Compiler Construction - 4th International Conference CC'92 (ed. Kastens, U., and Pfahler, P.), Springer LNCS (1992) [with Deryck Brown and Hermano Moura].