Information and Systems-Software Science(Date:1994/01/20)

Presentation
表紙

,  

[Date]1994/1/20
[Paper #]
目次

,  

[Date]1994/1/20
[Paper #]
Class substitution and type correctness in object-oriented languages

Takahiko Hayano,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1994/1/20
[Paper #]SS93-39
Pattern driven concurrent reduction model based on semantic matching and unification

Eiji Yamamoto,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1994/1/20
[Paper #]SS93-40
Term Set Rewriting System and Investigations on Knuth-Bendix Completion

Hideto Kasuya,  Masahiko Sakai,  Shinichirou Yamamoto,  Kiyoshi Agusa,  

[Date]1994/1/20
[Paper #]SS93-41
A Communication Support Model with Process Description for Software Development

Masaaki Tamai,  Hajimu Iida,  Katsuro Inoue,  Koji Torii,  

[Date]1994/1/20
[Paper #]SS93-42
Realization of Attributed Finite State Machine with Functional Programming Language

Jun'ichi Uemura,  Takuya Katayama,  

[Date]1994/1/20
[Paper #]SS93-43
Support environment for analysis and transformation of term rewriting systems with graphical user interface

Nobuo Kawaguchi,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1994/1/20
[Paper #]SS93-44
[OTHERS]

,  

[Date]1994/1/20
[Paper #]