Exit Criteria:

• We empower developers to articulate program patches using a C-like language.

Deliverables:

• Description of C-like language to specify program patch.