Bidirectional Transformation is Effectful
Faris Abou-Saleh, Jeremy Gibbons · 2015
Bidirectional transformations inherently involve state effects. Modelling them that way allows the incorporation of other effects too, such as I/O, non-determinism, and exceptions. 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages—algebraic approaches to semantics; D.3.2 Language Classifications—specialized application languages;