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:
7269
Since 07/09/20

Valid HTML 4.01!
   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.