@inproceedings{AFJV08,
title = {{Static Analysis of JAVA Programs in a Rule-Based Framework}},
author = {Alpuente, M. and Feli\'u, M.A. and Joubert, C. and Villanueva, A.},
booktitle = {VIII Jornadas sobre Programación y Lenguajes (PROLE 2008)},
address = {Gij\'on, Spain},
year = 2009
}