Search results for "bidirectionalization"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Janis Voigtländer	Bidirectionalization for free! (Pearl).	POPL	2009	DBLP DOI BibTeX RDF	bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem
88	Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano 0001, Makoto Hamana, Masato Takeichi	Bidirectionalization transformation based on automatic derivation of view complement functions.	ICFP	2007	DBLP DOI BibTeX RDF	bidirectional transformation, program transformation, view updating, automatic program generation, program inversion
32	Naoki Nishida 0001, Germán Vidal	Characterizing Compatible View Updates in Syntactic Bidirectionalization.	RC	2019	DBLP DOI BibTeX RDF
32	Kazutaka Matsuda, Meng Wang 0002	Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.	J. Funct. Program.	2018	DBLP DOI BibTeX RDF
32	Helmut Grohne, Janis Voigtländer	Formalizing semantic bidirectionalization and extensions with dependent types.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
32	Kazutaka Matsuda, Meng Wang 0002	"Bidirectionalization for free" for monomorphic transformations.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
32	Meng Wang 0002, Shayan Najd	Semantic bidirectionalization revisited.	PEPM	2014	DBLP DOI BibTeX RDF
32	Helmut Grohne, Andres Löh, Janis Voigtländer	Formalizing Semantic Bidirectionalization with Dependent Types.	EDBT/ICDT Workshops	2014	DBLP BibTeX RDF
32	Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang 0002	Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins.	J. Funct. Program.	2013	DBLP DOI BibTeX RDF
32	Kazutaka Matsuda, Meng Wang 0002	Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem.	PPDP	2013	DBLP DOI BibTeX RDF
32	Janis Voigtländer	Ideas for connecting inductive program synthesis and bidirectionalization.	PEPM	2012	DBLP DOI BibTeX RDF
32	Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano 0001	Toward Bidirectionalization of ATL with GRoundTram.	ICMT@TOOLS	2011	DBLP DOI BibTeX RDF
32	Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang 0002	Combining syntactic and semantic bidirectionalization.	ICFP	2010	DBLP DOI BibTeX RDF
28	Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	A compositional approach to bidirectional model transformation.	ICSE Companion	2009	DBLP DOI BibTeX RDF