BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Spain
1 × USA
Collaborated with:
K.Matsuda S.Hidaka Z.Hu H.Kato K.Nakano R.Sato N.Kobayashi
Talks about:
graph (6) transform (3) function (2) order (2) parameter (1) structur (1) reformul (1) properti (1) calculus (1) program (1)

Person: Kazuyuki Asada

DBLP DBLP: Asada:Kazuyuki

Contributed to:

PEPM 20152015
ICFP 20132013
PPDP 20132013
PEPM 20172017

Wrote 4 papers:

PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification
Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.
ICFP-2013-HidakaAHKN #graph #order #query #recursion
Structural recursion for querying ordered graphs (SH, KA, ZH, HK, KN), pp. 305–318.
PPDP-2013-AsadaHKHN #branch #calculus #finite #graph #graph transformation #monad
A parameterized graph transformation calculus for finite graphs with monadic branches (KA, SH, HK, ZH, KN), pp. 73–84.
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.