Compiling techniques for supercomputers |
Masaaki Shimasaki 著 |
1-20 |
The Japanese software factory |
Yoshihiro Matsumoto 著 |
21-42 |
Join algorithm for multidimensional linear hash databases |
Motomichi Toyama 著 |
43-62 |
A computerational method for evidential reasoning with uncertain information |
Hayato Ohwada 著 |
63-86 |
The unfold/fold transformation for attribute grammars |
Yoshiyuki Yamashita 著 |
87-110 |
Categorical functional programming language |
Tatsuya Hagino 著 |
111-135 |
Categorical assertion sematics in Topoi |
Yasuo Kawahara 著 |
137-150 |
A reflective domain construction for type inheritance and higher‐order generics |
Hideki Tsuiki 著 |
151-162 |
Dynamic manipulation of types in misty |
Yasushi Kuno 著 |
163-188 |