Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins

DOI10.1017/S0956796813000130zbMath1303.68039MaRDI QIDQ5398330

Zhenjiang Hu, Kazutaka Matsuda, Janis Voigtländer, Meng Wang

Publication date: 27 February 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

Haskellbidirectional programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (5)

Decision Problems of Tree Transducers with Origin ⋮ Decision problems of tree transducers with origin ⋮ Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches

Uses Software

• Haskell

Cites Work

• Deaccumulation techniques for improving provability
• Deforestation: Transforming programs to eliminate trees
• A semantics for shape
• A programmable editor for developing structured documents based on bidirectional transformations
• The essence of the <scp>Iterator</scp> pattern
• Properties and update semantics of consistent views
• Update semantics of relational views

This page was built for publication: Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins