Stem bidirection$ (all stems)

13 papers:

PEPM-2014-WangN #bidirectional #revisited #semantics

Semantic bidirectionalization revisited (MW, SN), pp. 51–62.

BX-2014-GrohneLV #bidirectional #dependent type #formal method #semantics

Formalizing Semantic Bidirectionalization with Dependent Types (HG, AL, JV), pp. 75–81.

PPDP-2013-MatsudaW #approach #bidirectional #for free #problem #runtime

Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem (KM, MW), pp. 297–308.

PEPM-2012-Voigtlander #bidirectional #induction #synthesis

Ideas for connecting inductive program synthesis and bidirectionalization (JV), pp. 39–42.

BX-2011-Hu #bidirectional

Trace-based Bidirectionalization (ZH), p. 49.

BX-2011-Matsuda #bidirectional

Right Inverses in Bidirectionalization (KM), p. 61.

BX-2011-Voigtlaender #bidirectional

Complement-Based Bidirectionalization (JV), p. 49.

ICMT-2011-SasanoHHIKN #atl #bidirectional #towards

Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.

ICFP-2010-HidakaHIKMN #bidirectional #graph transformation

Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.

ICFP-2010-VoigtlanderHMW #bidirectional #semantics

Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.

POPL-2009-Voigtlander #bidirectional #exclamation #for free

Bidirectionalization for free! (Pearl) (JV), pp. 165–176.

BX-2008-Matsuda1 #bidirectional #source code

Bidirectionalization of Programs with Duplication through Complement Function Derivation (KM), p. 40.

ICFP-2007-MatsudaHNHT #automation #bidirectional

Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.