wiki:summer-projects/2011-autodoc-types

Automated Extraction of JPF Types from Code

Abstract

The goal of this project is to extract structural information related to type hierarchy in jpf projects. Specifically, this project extracts information about Listeners, InstructionFactories, Native Peers, and classes that model library classes. The information is recorded in a popular XML format.

Contact

student: Carlos Alberto Uribe <carlos.albert.uribe AT gmail.com>

mentor: Darko Marinov <marinov AT illinois.edu>

co-mentor: Oksana Tkachuk <oksana.tkachuk AT gmail.com>

Repository

The sources for this project are available at https://bitbucket.org/carlos_uribe/jpf-automatic-doc

Description

To be added

Last modified 6 years ago Last modified on 02/09/2012 11:33:13 AM