BIBLIOGRAFIA 211
Lafferty, D., and V. Cahill, Language-Independent Aspect-oriented Programming, in Pro-
ceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems,
languages, and applications, pp. 1–12, ACM Press, Anaheim, California, USA , 2003.
L¨ammel, R., Declarative Aspect-Oriented Programming, in Proceedings of the ACM SIG-
PLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation,
edited by O. Danvy, Technical report BRICS-NS-99-1, University of Aarhus, pp. 131–
146, San Antonio, Texas, 1999.
Liang, S., Modular Monadic Semantics and Compilation, Ph.D. thesis, Yale University,
1997, adviser-Paul Hudak.
Liang, S., and P. Hudak, Modular Denotational Semantics for Compiler Construction, in
ESOP ’96: Proceedings of the 6th European Symposium on Programming Languages and
Systems, pp. 219–234, Springer-Verlag, London, UK, 1996.
Liang, S., P. Hudak, and M. Jones, Monad Transformers and Modular Interpreters, in
POPL ’95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles
of programming languages, pp. 333–343, San Francisco, California, United States, 1995.
Loredo, F. S., R. S. Bigonha, and F. Tirelo, Implementa¸c˜ao de Semˆantica Vaga em Notus,
Tech. Rep. LLP-03/2008 , Universidade Federal de Minas Gerais, 2008.
Maia, M. A., Implementa¸c˜ao Eficiente de uma Linguagem para Defini¸c˜ao de Semˆantica,
Master’s thesis, Universidade Federal de Minas Gerais, 1994.
Menezes, P. B., and E. H. Haeusler, Teoria das Categorias para Ciˆencia da Computa¸c˜ao,
no. 12 in S´erie Livros Did´aticos, Instituto de Inform´atica da UFRGS, Ed. Sagra Luzzato,
2001.
Meyer, B., Object-Oriented Software Construction, Prentice Hall, New Jersey, 1997.
Moggi, E., Computational Lambda-Calculus and Monads, in Proceedings of the Fourth
Annual Symposium on Logic in computer science, pp. 14–23, IEEE Press, Pacific Grove,
California, United States, 1989.
Moggi, E., Notions of Computation and Monads, Inf. Comput., 93 , 55–92, 1991.
Mosses, P. D., Making denotational semantics less concrete, in Proc. Int. Workshop on
Semantics of Programming Languages, Bad Honnef , no. 41 in B ericht, pp. 102–109,
Abteilung Informatik, Universit¨at Dortmund, 1977.