PCES PI Meeting
Feb 2001
19
Static Verification
Correct staging should be statically enforced
•Catch
mistakes early
•Diagnose
notoriously difficult staging errors
•Support
safe program revision
•Prevent
inconsistencies at module boundaries