Can a production system expose small, editable behavioural views?

• Program slicing can recover relevant behaviour; amorphous slicing can simplify its representation.
• Bidirectional transformations and lenses study how to propagate changes between different representations.
• The hard part is reintegration: an edit to one slide may affect shared classification or exclusion behaviour elsewhere.
• A useful compiler must retain provenance, reconcile overlapping views and preserve unaffected guarantees.

• #compilers
• #program-slicing
• #research