Next:
Task 3.1: Interpreting resource
Up:
Plan of work
Previous:
Task 2.3: ESC/Java case
Task 3: Obtaining resource consumption certificates in Java compilation
Subsections
Task 3.1: Interpreting resource annotations in Java sources
Task 3.2: Relationship to other advanced Java processors
