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: Asada:Kazuyuki
Contributed to:
2015
2013
20132017Wrote 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.