Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Keywords: Complexity - Static typing - Parsing

Functional Description: ComplexityParser is a static complexity analyzer of Java programs written in Java (approximatively 5000 lines of code). The program consists in a type inference and checking program based on the data tiering principle. It allows the program to certify that the typed program has a polynomial time complexity.