Node:Fragments and Bits, Next:Bugs, Previous:Implementation Architecture, Up:Implementation Architecture

Fragments and Bits

• Rationals:
• Partial Evaluation:
• Asserting with Constraints: