Information and Systems-Software Science(Date:1995/07/14)

Presentation
表紙

,  

[Date]1995/7/14
[Paper #]
目次

,  

[Date]1995/7/14
[Paper #]
Development of a Programming Language Based on the Data Flow Network

Yuji Hayashi,  

[Date]1995/7/14
[Paper #]
Visualization of the number of the passengers

Shin Tsujimaki,  Makoto Arisawa,  

[Date]1995/7/14
[Paper #]
Development of Cross-Platform Real-Time 3D Graphics Library

Soji Yamakawa,  Shuhei Tomita,  Masanori Haga,  Makoto Arisawa,  

[Date]1995/7/14
[Paper #]
Soundness of Class Set Type Checking Method for Object-Oriented Programs

Hirotaka Ohkubo,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1995/7/14
[Paper #]
Problem Solving by Equivalent Transformation

Kiyoshi Akama,  

[Date]1995/7/14
[Paper #]
Proposal and Effect of Interval-object in Knowledge Processing based on Program Transformation

Mamiko Hatayama,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1995/7/14
[Paper #]
Program Transformation of Declarative Programs with Negation

Koichi Okada,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1995/7/14
[Paper #]
The Functional Strategy : The Extended Left-incompatible Systems

Masahiko Sakai,  

[Date]1995/7/14
[Paper #]
An Implementation of Decision Procedure for Prenex Normal Form Presburger Sentences bounded only by Existential Quantifiers

Sumio Morioka,  Teruo Higashino,  Kenichi Taniguchi,  

[Date]1995/7/14
[Paper #]
Technique for reducing computation for detecting infeasible paths using Presburger arithmetic

Kuniaki Naoi,  Naohisa Takahashi,  

[Date]1995/7/14
[Paper #]
[OTHERS]

,  

[Date]1995/7/14
[Paper #]