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-calculussession typestype systemsubject reductionconcurrencyprocess calculipolarity
 Summary | Full Text:PDF

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 slicingprogram comprehensionprogram maintenancesequence diagramreverse engineeringdebugging
 Summary | Full Text:PDF

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/25
Vol. E82-D  No. 5  pp. 977-984
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
CASE toolJapidJava
 Summary | Full Text:PDF

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/25
Vol. E80-D  No. 4  pp. 510-517
Type of Manuscript:  Special Section PAPER (Special Issue on Parallel and Distributed Supercomputing)
Category: 
Keyword: 
TRSparallel rewritingBOB
 Summary | Full Text:PDF