Bidirectionalization for free! (Pearl)
DOI10.1145/1480881.1480904zbMATH Open1315.68059OpenAlexW2024951218MaRDI QIDQ5261515FDOQ5261515
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
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
relational parametricityprogram transformationgeneric programmingHaskellbidirectionalizationfree theoremsview-update problem
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (15)
- Three complementary approaches to bidirectional programming
- Principles and practice of bidirectional programming in BiGUL
- Characterizing Compatible View Updates in Syntactic Bidirectionalization
- Notions of bidirectional computation and entangled state monads
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
- Generic recursive lens combinators and their calculation laws
- Applicative bidirectional programming with lenses
- Contract lenses: Reasoning about bidirectional programs via calculation
- Combining syntactic and semantic bidirectionalization
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Bidirectionalizing graph transformations
- Formalizing semantic bidirectionalization and extensions with dependent types
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- biXid: a bidirectional transformation language for XML
- Relations as executable specifications: taming partiality and non-determinism using invariants
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)
