Kiyoshi AGUSA

A Session Type System with Subject Reduction
Keigo IMAI  Shoji YUEN  Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/08/01
Vol. E95-D  No. 8  pp. 2053-2064
Type of Manuscript: PAPER
Category: Software System
Keyword: 
Pi-calculus,  session types,  type system,  subject reduction,  concurrency,  process calculi,  polarity, 
  Summary |  Full Text:PDF (257.6KB)
Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
Kunihiro NODA  Takashi KOBAYASHI  Shinichiro YAMAMOTO  Motoshi SAEKI  Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D  No. 4  pp. 959-969
Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
program slicing,  program comprehension,  program maintenance,  sequence diagram,  reverse engineering,  debugging, 
  Summary |  Full Text:PDF (1.4MB)
A CASE Tool Platform for an Object Oriented Language
Yoshinari HACHISU  Shinichirou YAMAMOTO  Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/05/20
Vol. E82-D  No. 5  pp. 977-984
Type of Manuscript: PAPER
Category: Sofware System
Keyword: 
CASE tool,  Japid,  Java, 
  Summary |  Full Text:PDF (1.4MB)
An Efficient Implementation of Term Rewriting System on a Distributed Memory Architecture
Yoshinari HACHISU  Shinichirou YAMAMOTO  Takeshi HAMAGUCHI  Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/04/20
Vol. E80-D  No. 4  pp. 510-517
Type of Manuscript: Special Section PAPER (Special Issue on Parallel and Distributed Supercomputing)
Category: 
Keyword: 
TRS,  parallel rewriting,  BOB, 
  Summary |  Full Text:PDF (572.4KB)