Bidirectionalization for free! (Pearl)

DOI10.1145/1480881.1480904MaRDI QIDQ5261515zbMATH OpenOpenAlexFDO

Authors Janis Voigtländer

Publication date 3 July 2015

Published in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1480881.1480904

zbMATH Keywords

bidirectionalizationfree theoremsgeneric programmingHaskellprogram transformationrelational parametricityview-update problem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1834680
• Three complementary approaches to bidirectional programming
• All sorts of permutations (functional pearl)
• Much ado about two (pearl), a pearl on parallel prefix computation
• Principles and practice of bidirectional programming in BiGUL
• From bidirectionality to alternation.
• Functional pearl: streams and unique fixed points

Cited in

(17)

• Principles and practice of bidirectional programming in BiGUL
• Generic recursive lens combinators and their calculation laws
• Relations as executable specifications: taming partiality and non-determinism using invariants
• Notions of bidirectional computation and entangled state monads
• Applicative bidirectional programming with lenses
• Formalizing semantic bidirectionalization and extensions with dependent types
• Three complementary approaches to bidirectional programming
• Bidirectionalization transformation based on automatic derivation of view complement functions
• Combining syntactic and semantic bidirectionalization
• Bidirectionalizing graph transformations
• Characterizing Compatible View Updates in Syntactic Bidirectionalization
• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
• biXid: a bidirectional transformation language for XML
• Contract lenses: Reasoning about bidirectional programs via calculation
• Composing bidirectional programs monadically
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
• How much is in a square? Calculating functional programs with squares

This page was built for publication: Bidirectionalization for free! (Pearl)

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