Advances in Software Science and Technology (eBook)

Takeshi Chusho, Teruo Hikita, Hiroyasu Kakuda (Herausgeber)

eBook Download: PDF

2014 | 1. Auflage
214 Seiten
Elsevier Science (Verlag)
978-1-4832-1572-3 (ISBN)

Infos

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.

Inhalt

Front Cover 1
Advances in Software Science and Technology 4
Copyright Page 5
Table of Contents 8
Contributors 6
Editor's Message 10
CONTENTS OF PREVIOUS VOLUMES 12
Part I: Surveys on Current Research in Japan 16
Chapter 1. Compiling Techniques for Supercomputers 16
Summary 16
1 Introduction 16
2 Characteristics of Japanese Supercomputer Architecture and Their Influence on Software 16
3 Historical Survey of Programming Languages for Supercomputers in Japan 20
4 Technical Items for Vectorizing Compilers 22
5 Data Dependence Relation and Vectorization 22
6 Idiom Recognition and Vectorization of First-Order Recurrence Statements 32
7 Conclusion 34
References 34
Chapter 2. The Japanese Software Factory 36
Summary 36
1 Introduction 36
2 Software Factory 37
3 Model of Japanese Software Factory 40
4 Project Performance 45
5 The CASE Environments 49
6 Quality Control 52
7 Software Reuse 53
8 Concluding Remarks 54
References 55
Part II: Research Contributions 58
Chapter 3. Join Algorithm for Multidimensional Linear Hash Databases 58
Summary 58
1 Introduction 58
2 Multikey Linear Hashing 61
3 Basic Fluent Join 64
4 Extensions of the Fluent Join Algorithm 69
5 Benchmarks 72
6 Concluding Remarks 76
References 76
Chapter 4. A Computational Method for Evidential Reasoning with Uncertain Information 78
Summary 78
1 Introduction 78
2 A Framework for Evidential Reasoning 80
3 A Constraint Logic Programming Language for Evidential Reasoning 85
4 Use of Hierarchical Structure for Computational Efficiency 90
5 Application to Diagnosis 95
6 Concluding Remarks 99
References 99
Chapter 5. The Unfold/Fold Transformation for Attribute Grammars 102
Summary 102
1 Introduction 102
2 An Intuitive Example 104
3 The Unfold/Fold Transformation for Context-Free Grammars 106
4 The Unfold/Fold Transformation for Attribute Grammars 107
5 Examples of Unfold/Fold Transformation 115
6 On the Correctness of Transformation 121
7 Conclusion 123
Future Work 123
References 124
Chaper 6. Categorical Functional Programming Language 126
Summary 126
1 Introduction 126
2 Preliminaries 127
3 Data Types in CPL 129
4 Programs in CPL 138
5 Examples 143
Conclusion 148
References 149
Chapter 7. Categorical Assertion Semantics in Topoi 152
Summary 152
1 Introduction 152
2 Domains and Kernels of Relations 153
3 Assertion Semantics 158
4 Weakest Preconditions 160
5 Total Correctness 162
References 164
Chapter 8. A Reflective Domain Construction for Type Inheritance and Higher-Order Generics 166
Summary 166
1 Introduction 166
2 I-domain 167
3 Construction of a Reflective I-domain 172
4 Semantics of Lambda Calculus with Generic Constants 175
5 Conclusion 176
References 176
Chapter 9. Dynamic Manipulation of Types in Misty — A Statically Typed Object-Oriented Programming Language 178
Summary 178
1 Introduction 178
2 Types and Inheritance in Object-Oriented Programming Languages 179
3 Dynamic Handling of Types in Misty 185
4 Introducing Types-as-Values into Misty 192
5 Summary and Conclusion 198
References 203
Part II: Society News 204
Chapter 10. Rules for Submission of English Papers and English Paper Style Guidelines 204
1 Rules for Submission of English Papers 204
2 English Paper Style Guidelines 205
Author's Guide 212
Japan Society for Software Science and Technology Membership Application Form 214

Produkt-Details

• Erscheint lt. Verlag: 1.12.2014
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Grafik / Design
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Technik ► Bauwesen
• ISBN-10: 1-4832-1572-5 / 1483215725
• ISBN-13: 978-1-4832-1572-3 / 9781483215723