Meus tópicos de pesquisa são orientação a objetos, linguagens de programação, reflexão computacional, compiladores e otimização de código. Principalmente linguagens orientadas a objeto. Tenho um artigo e uma monografia não publicados em complexidade computacional (que não estão referenciados nesta página). Computabilidade (uma parte da lógica), lógica clássica e complexidade computacional são também áreas de meu interesse.

Abaixo há uma lista da maioria dos artigos que já publiquei. Contudo, a maioria dos artigos publicados antes de 1998 não estão aqui. Os artigos mais importantes são relacionados à linguagem Green. Os artigos futuros serão relacionados à linguagem Cyan. Ambas as linguagens foram projetadas por mim.

My research topics are object-oriented programming, computational reflection, programming languages, compiler construction, and code optimization. The main topic is object-oriented languages. I have written an article and a monography on computational complexity (just an introduction with a chapter on the topic of the article). Computability (a part of logic), classical logic, and computational complexity are areas of interest for me.

Below there is a list of most of articles that I have published. However, most of the articles published before 1998 are not here. The most important articles are related to language Green. Future papers will be related to language Cyan. Both languagens were designed by me.

 

Guimarães, José de Oliveira. The Cyan Language. 2012. This is the manual of the language Cyan.

Guimarães, José de Oliveira. The Green Language Type System. Computer Languages, Systems & Structures, Vol. 35, No. 4,  pp. 435-447, 2009.  http://dx.doi.org/10.1016/j.cl.2008.09.001

Guimarães, José de Oliveira. Learning Compiler Construction by Examples. ACM Inroads, Vol 39, No. 4, December 2007.

Guimarães, José de Oliveira. On Translation between Object-Oriented Languages.

Guimarães, José de Oliveira. Some Translations between Object-Oriented Languages. This article contains some of the translations of the above manuscript.

Guimarães, José de Oliveira. The Green Language.  Computer Languages, Systems & Structures, Vol. 32, Issue 4,  pages 203-215, December 2006.

Guimarães, José de Oliveira. The Green Language Exception System. The Computer Journal, 47(6), November 2004, 651-661.


Guimarães, José de Oliveira. Closures for Statically-Typed Object-Oriented Languages. Sigplan Notices, Vol. 39, No. 8, August 2004, pages 54-60
.


Guimarães, José de Oliveira. Exceptions and Meta-Level Programming in the Green Language. Not published. Small article showing the interactions between the Green Exception Handling System and meta-level programming. 2003.

Guimarães, José de Oliveira. Experiences in Building a Compiler for an Object-Oriented Language. SIGPLAN Notices, Vol 38, No. 4, p. 25-33, April 2003. This article discusses the problems encoutered while building the Green compiler. Interesting.

Tomioka, Elisa; Guimarães, José; Prado, Antônio. R-Java: A Reflective Java Extension. VI Simpósio Brasileiro de Linguagens de Programação (SBLP). Rio de Janeiro, Brazil, June 5-7, 2002.  R-Java is Java with shells, the Green metaobjects.

Guimarães, José de Oliveira. An Idiom for Exception Treatment in C++ and Java. V Simpósio
Brasileiro de Linguagens de Programação. 2001. This article describes the idiom "Exception Treatment", which is a simulation of the Green exception system. An idiom is a Design Pattern specific to a language.

Guimarães, José de Oliveira. The Green Language. 1998. This is the manual of the language Green.

Guimarães, José de Oliveira. Reflection for Statically Typed Languages. European Conference on Object-Oriented Programming. LNCS 1445, 1998. This article describes the Green metaobjects, which are called shells, in depth. Also available in the Springer site.

Guimarães, José de Oliveira. Testing Student-made Compilers. ACM SIGCSE Bulletin, Vol. 26, No. 3, September 1994.