Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Mani...
summary
Claims a first bidirectional object‑oriented language, BFJ, with a new backward semantics that handles ambiguous class‑hierarchy updates and mutable references and formally proves round‑tripping properties when outputs are changed consistently. Implements a prototype tool, BiOOP, that generates HTML via two‑stage bidirectionalization and reproduces ten classic Java Swing examples plus one large GitHub project; performance measurements show forward and backward update times are acceptable for direct manipulation workflows.
AI-written summary · about