Three complementary approaches to bidirectional programming

DOI10.1007/978-3-642-32202-0_1MaRDI QIDQ4649378zbMATH OpenOpenAlexFDO

Authors Nate Foster, Kazutaka Matsuda, Janis Voigtländer

Publication date 21 November 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32202-0_1

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Principles and practice of bidirectional programming in BiGUL
• Applicative bidirectional programming with lenses
• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
• Bidirectionalization for free! (Pearl)
• Bidirectionalization transformation based on automatic derivation of view complement functions

Cited in

(7)

• Principles and practice of bidirectional programming in BiGUL
• Characterizing Compatible View Updates in Syntactic Bidirectionalization
• Reflections on monadic lenses
• A Tangled Web of 12 Lens Laws
• Formalizing semantic bidirectionalization and extensions with dependent types
• Bidirectionalization for free! (Pearl)
• scientific article; zbMATH DE number 1834680 (Why is no real title available?)

Describes a project that uses

Uses Software

• biXid

This page was built for publication: Three complementary approaches to bidirectional programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649378)