PCES PI Meeting
Feb 2001
16
Our Thesis
The inherent tensions between
modularity, safety, and efficiency can
be relieved through programming with explicit, transparent, and
statically verifiable constructs for staging
•Applications
particularly in complex systems where modularity and data abstraction are critical