Advances in Software Science and Technology (eBook)

Tsutomu Kamimura (Herausgeber)

eBook Download: PDF

2014 | 1. Auflage
255 Seiten
Elsevier Science (Verlag)
978-1-4832-9432-2 (ISBN)

Infos

This serial is a translation of the original works within the Japan Society of Software Science and Technology. A key source of information for computer scientists in the U.S., the serial explores the major areas of research in software and technology in Japan. These volumes are intended to promote worldwide exchange of ideas among professionals.This volume includes original research contributions in such areas as Augmented Language Logic (ALL), distributed C language, Smalltalk 80, and TAMPOPO-an evolutionary learning machine based on the principles of Realtime Minimum Skyline Detection.

Inhalt

Front Cover 1
Advances in Software Science 
4 
Copyright Page 5
Table of Contents 8
Contributors 6
Editor's Message 10
CONTENTS OF PREVIOUS VOLUMES 12
Chapter 1. 
16 
1 Introduction 16
2 The Knuth-Morris-Pratt Pattern-Matching Algorithm 18
3 The Aho-Corasick Algorithm 21
4 Conclusion 23
References 23
Chapter 2. 
26 
1 Partial Computation and Fully Lazy Evaluation 26
2 A Fully Lazy Partial Evaluator 29
3 Derivation of Knuth-Morris-Pratt Algorithms 31
4 Conclusions and Related Work 38
References 39
Chapter 3. 
40 
1 Introduction 40
2 Properties of the Modularization of Constraints 41
3 Classification of Constraints 48
4 Another Example 54
5 Conclusion 56
References 57
Chapter 4. 
60 
1 Introduction 60
2 Representation Systems and Parameterized Representation Systems 62
3 Logic Programs on Parameterized Representation Systems 64
4 Interpretations and Models 67
5 Minimal Model Semantics 69
6 Least Fixpoint Semantics 70
7 Semantics of Generalized Logic Programs 73
8 Concluding Remarks 75
References 76
Appendix 77
Chapter 5. 
80 
1 Introduction 80
2 Learning Problem Formulation 82
3 Formal Specification of TAMPOPO 89
4 Behavior Analysis of TAMPOPO 97
5 Conclusions 103
Acknowledgments 104
References 104
Chapter 6. 
106 
1 Introduction 106
2 Notation and Terminology 107
3 Logical Background and the ALL Interpreter 108
4 Transformation Rules 111
5 Implementation Techniques 114
6 Limitations of ALL 116
7 Execution Examples 116
8 Summary 117
References 119
Appendix 119
Chapter 7. 
122 
1 Introduction 122
2 Determinacy Detection and Its Applications 123
3 The Determinacy of a Predicate Call 124
4 Concluding Remarks 132
References 132
Chapter 8. 
134 
1 Introduction 134
2 Higher-Order Remote Procedure Calls 136
3 Design of the distributed C language 141
4 Implementation of Distributed C 148
5 Experiments 150
6 Related Work 155
7 Conclusion 156
References 157
Chapter 9. 
160 
1 Introduction 160
2 Text-processing Features (of a General Purpose Programming Language) 162
3 Adding a multilingual feature to Smalltalk-80 165
4 Summary and Discussion 173
5 Future Work 176
6 Conclusion 177
References 177
Chapter 10. 
180 
1 Introduction 180
2 Principles of JCSH 182
3 Implementation of JCSH on KCL 184
5 Conclusions 194
References 195
Chapter 11. 
198 
1 Introduction 198
2 Overview of Understanding System 199
3 Knowledge Module 202
4 Cooperative Understanding of Language and Picture 207
5 Experiments 211
6 Conclusions 213
References 214
Chapter 12. 
216 
1 Introduction 216
2 Assumptions and Goals 217
3 Overview and Notation 218
4 Object IDs and Their Interpretations 219
5 Object Addresses and Object Migration 221
6 Migration of Naming Context and Dynamic Reconfiguration of Networks 223
7 Connecting Two Systems 226
8 Implementation Problems 227
9 Related Work 229
10 Conclusion 230
References 231
Chapter 13. 
232 
1 Introduction 232
2 Synthesis of Window Control Classes in ESP 233
3 Outline of WINCS 235
4 Implementation 236
5 Discussion 246
6 Future Work 249
References 251
Chapter 14. 
254 
1 Introduction 254
2 Requirements for CSCW platforms 255
3 An Overview of the Teidan System Architecture 256
4 Sample Applications Developed with the Teidan System 257
5 Design Issues 259
6 Discussion 265
7 Conclusion 269
References 269

Produkt-Details

• Erscheint lt. Verlag: 3.12.2014
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Grafik / Design
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Mathematik / Informatik ► Mathematik
• Themenwelt: Weitere Fachgebiete ► Land- / Forstwirtschaft / Fischerei
• ISBN-10: 1-4832-9432-3 / 1483294323
• ISBN-13: 978-1-4832-9432-2 / 9781483294322