Boomerang
From MaRDI portal
Publication:3189860
DOI10.1145/1328438.1328487zbMath1295.68077OpenAlexW1968796785MaRDI QIDQ3189860
Benjamin C. Pierce, J. Nathan Foster, Aaron Bohannon, Alan Schmitt, Alexandre Pilkiewicz
Publication date: 12 September 2014
Published in: Proceedings of the 35th 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/1328438.1328487
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Contract lenses: Reasoning about bidirectional programs via calculation ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Categorical foundations of gradient-based learning ⋮ Bidirectional grammars for machine-code decoding and encoding ⋮ An efficient composition of bidirectional programs by memoization and lazy update ⋮ Multiple model synchronization with multiary delta lenses with amendment and K-Putput
Uses Software
This page was built for publication: Boomerang
