Editor's message, I. Nakata; contents of previous volumes. Research contributions - the unfold/fold transformation for attribute grammars, Y. Yamashita and I. Nakata; the Japanese software factory, Y. Matsumoto; categorical assertion semantics in toposes, Y. Kawahara and Y. Mizoguchi; categorical functional programming language, T. Hagino; a reflective domain construction for type inheritance and higher-order genetics, H. Tsuiki; a computational method for evidential reasoning with uncertain information, H. Ohwada and Y. Mizoguchi; join algorithm for multi-dimensional linear hash databases, M. Toyama; compiler techniques for supercomputers, M. Shimasaki; dynamic manipulation of types in misty - a statistically typed object-oriented programming language, Y. Kuno.