31 citations · 33 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 2 cited
Constructing Object Groups Corresponding to Concepts for Recovery of a Summarized Sequence Diagram
Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa
Comprehending the behavior of an object-oriented system solely from its source code is troublesome, owing to its dynamism. To aid comprehension, visualizing program behavior throug…
cs.PL2011★ 31 cited
Session Type Inference in Haskell
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
We present an inference system for a version of the Pi-calculus in Haskell for the session type proposed by Honda et al. The session type is very useful in checking if the communic…