BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × Denmark
1 × Japan
1 × Spain
2 × Germany
2 × Italy
3 × USA
Collaborated with:
M.Wang Z.Hu M.W.0002 K.Nakano M.Takeichi K.Inaba S.Hidaka K.Asada N.Kobayashi A.Shinohara H.Kato M.Billes Q.M.Tran S.Mu J.Voigtländer M.Hamana I.Sasano
Talks about:
transform (7) bidirection (6) graph (6) function (5) program (5) base (4) approach (3) languag (3) invert (3) complement (2)

Person: Kazutaka Matsuda

DBLP DBLP: Matsuda:Kazutaka

Contributed to:

BX 20152015
ICFP 20152015
ESOP 20132013
PPDP 20132013
PEPM 20122012
BX 20112011
LOPSTR 20112011
ESOP 20102010
ICFP 20102010
PEPM 20092009
BX 20082008
ICFP 20072007
ESOP 20182018
Haskell 20182018
PEPM 20172017

Wrote 18 papers:

BX-2015-HidakaBTM #analysis #approach #bidirectional #graph transformation
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
ICFP-2015-MatsudaW #bidirectional #lens #programming
Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.
ESOP-2013-MatsudaW #named
FliPpr: A Prettier Invertible Printing System (KM, MW), pp. 101–120.
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-KobayashiMS #functional #source code
Functional programs as compressed data (NK, KM, AS), pp. 121–130.
PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal
Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.
BX-2011-Matsuda #bidirectional
Right Inverses in Bidirectionalization (KM), p. 61.
LOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
ESOP-2010-MatsudaMHT #approach #grammarware #source code
A Grammar-Based Approach to Invertible Programs (KM, SCM, ZH, MT), pp. 448–467.
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.
PEPM-2009-MatsudaHT #type system #xml
Type-based specialization of xml transformations (KM, ZH, MT), pp. 61–72.
BX-2008-Matsuda
Languages Short Talk 3 (KM), p. 3.
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.
ESOP-2018-Matsuda0 #combinator #lens #named #programming #using
HOBiT: Programming Lenses Without Using Lens Combinators (KM, MW0), pp. 31–59.
Haskell-2018-MatsudaW
Embedding invertible languages with binders: a case of the FliPpr language (KM, MW0), pp. 158–171.
PEPM-2017-MatsudaA #functional #graph transformation #reduction
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.