Advances in Software Science and Technology - 1st Edition - ISBN: 9780120371044, 9781483215723

Advances in Software Science and Technology

1st Edition

Editors: Teruo Hikita Takeshi Chusho Hiroyasu Kakuda
eBook ISBN: 9781483215723
Imprint: Academic Press
Published Date: 27th January 1993
Page Count: 214
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

Editor’s Message

Contents of Previous Volumes

Surveys on Current Research in Japan

Compiling Techniques for Supercomputers

The Japanese Software Factory

Research Contributions

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

Society News

Rules for Submission of English Papers and English Paper Style Guidelines

Author’s Guide

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
Academic Press
eBook ISBN:

Ratings and Reviews

About the Editors

Teruo Hikita Editor

Takeshi Chusho Editor

Hiroyasu Kakuda Editor