TXL solution to Chairmarks #4.5: Static slicing. This example implements backward static slicing using cascaded markup to a fixed point. Notes: In an implementation ...

The Chairmarks are a small set of little benchmark transformation tasks, all based on the Imperative Language (TIL). They are called "chairmarks" because they are ...