Advances in Software Science and Technology: v. 4
This fourth volume contains original research in a variety of areas within software and technology, including chapters on Japanese factories programming languages, compiler techniques for supercomputers, and object-oriented programming languages. The volumes in this serial are a key source of information for computer scientists in the United States, exploring the major ideas of research in software and technology in Japan. They are intended to promote worldwide exchange of ideas among professionals. This serial is a translation of the original works within the "Japan Society of Software Science and Technology".
- Hardback | 200 pages
- 158.75 x 230 x 19.05mm | 514g
- 01 Mar 1993
- Elsevier Science Publishing Co Inc
- Academic Press Inc
- San Diego, United States
- references, index
Table of contents
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.