Contents of Previous Volumes
Surveys on Current Research in Japan
Compiling Techniques for Supercomputers
The Japanese Software Factory
Join Algorithm for Multidimensional Linear Hash Databases
A Computerational Method for Evidential Reasoning with Uncertain Information
The Unfold/Fold Transformation for Attribute Grammars
Categorical Functional Programming Language
Categorical Assertion Semantics in Topoi
A Reflective Domain Construction for Type Inheritance and Higher-Order Generics
Dynamic Manipulation of Types in Misty - A Statically Typed Object-Oriented Programming Language
Rules for Submission of English Papers and English Paper Style Guidelines
Japan Society for Software Science and Technology Membership Application Form
Advances in Software Science and Technology, Volume 4 provides information pertinent to the advancement of the science and technology of computer software. This book discusses the various applications for computer systems.
Organized into two parts encompassing 10 chapters, this volume begins with an overview of the historical survey of programming languages for vector/parallel computers in Japan and describes compiling methods for supercomputers in Japan. This text then explains the model of a Japanese software factory, which is presented by the logical configuration that has been satisfied by the semantics of software engineering. Other chapters consider fluent joint as an algorithm that operates on relations organized as multidimensional linear hash files. The final chapter deals with the rules for submission of English papers that will be published, which includes papers that are reports of academic research by members of the Society.
This book is a valuable resource for scientists, software engineers, and research workers.
- No. of pages:
- © Academic Press 1993
- 27th January 1993
- Academic Press
- eBook ISBN: