Index   Welcome Search Info. Personal Publications Presentations Ph.D. thesis References Teaching Tutoring Conferences RDT Ptidej Introduction Reengineering Modification Analysis Detection Demo Download Caffeine Introduction Download PatternsBox Introduction Download Eclipse Prolog Claire Ptidej LaTeX Bibex Multilingual.bst Vertical Line Private Conferences Shared files Pictures Downloads Visits for this page: Since 07/09/20

Introduction   Caffeine is a system for the dynamic analysis of Java programs. Caffeine is made of a Prolog engine that analyzes the execution of a Java program on a remote virtual machine. We implement Caffeine using the debug interface of the virtual machine and using a wonderful and freely available Prolog engine in Java: JIProlog. So far, the people involved in Caffeine are: Rémi Douence, of the Objects, Components, and Models team. Yann-Gaël Guéhéneuc, Ph.D. student. Narendra Jussien, team leader of the Constraint team. Caffeine is the subject of a paper and of a research report. More on Caffeine at www.ptidej.net.