Information and Systems-Software Science(Date:1996/01/24)

Presentation
表紙

,  

[Date]1996/1/24
[Paper #]
目次

,  

[Date]1996/1/24
[Paper #]
Reliability Analysis of Ordered Sequence Testing Criteria for Safety Errors in Concurrnet Programs

Eisuke ITOH,  Zengo FURUKAWA,  Kazuo USHIJIMA,  

[Date]1996/1/24
[Paper #]SS95-36
Effcient Dependence Analysis Algorithm for Programs with Pointers and Recursive Calls

Shinichi Sato,  Ryouichi Ueda,  Katsuro Inoue,  

[Date]1996/1/24
[Paper #]SS95-37
A Typed Object Calculus for binary methods

Ichiro Tomita,  Naohiro Ishii,  

[Date]1996/1/24
[Paper #]SS95-38
Development of "Hyper Train Timetable" prototype and its estimation

Akira Mito,  Makoto Arisawa,  

[Date]1996/1/24
[Paper #]SS95-39
The Semantics of Priority Term Rewriting Systems and their Strong Sequentiality.

Masahiko Sakai,  Yoshihito Toyama,  

[Date]1996/1/24
[Paper #]SS95-40
Integration of Syntactic and Semantic analysis based on Equivalent Transformation

Masayoshi Takahashi,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1996/1/24
[Paper #]SS95-41
[OTHERS]

,  

[Date]1996/1/24
[Paper #]