Advances in Software Science and Technology (eBook)

Front Cover 1
Advances in Software Science and Technology 4
Copyright Page 5
Table of Contents 8
Editor's Message 10
Ikuo Nakata 10
Contents of Previous Volumes 12
Part I: Research Contributions 8
Chapter 1. Prototyping a System of Writing Tools for Japanese 
14 
1 Introduction 14
2 Features of Japanese Documents 15
3 Development Policy 16
4 First Version of SUIKOU 16
5 Addition and Determination of Functions 17
6 Improvement of Efficiency 20
7 Modification of User Interface 21
8 Environment and Coding Method 22
9 Discussion 22
10 Conclusions 23
References 24
Chapter 2. Attribute Grammar Evaluation 
26 
1 Introduction 26
2 Informal Description of CAGs 28
3 Principles of the CAG Evaluator 32
4 Application to Natural-Language Processing 38
5 Conclusion 43
References 47
Chapter 
50 
1 Introduction 50
2 Implementation Model 51
3 Implementation Model and Object-Oriented Programming 54
4 Implementation in Object-Oriented Programming 56
5 Evaluation 63
6 Summary 64
References 65
Chapter 4. RACCO: A Modal-Logic Programming Language for Writing Models 
66 
1 Introduction 66
2 A Primer of RACCO 67
3 Semantics and Implementation 75
References 81
Chapter 5. 
84 
1 Introduction 84
2 T-equivalence between Programs 87
3 Stereoscopic Program Extension 93
4 Natural Numbers and S-Expressions 101
5 Concluding Remarks 103
References 105
Chapter 6. Regular Expressions with Semantic Rules and Their 
106 
1 Introduction 106
2 Explanation by Simple Examples 108
3 Regular Expressions with Semantic Rules and Their Automata 110
4 Application to Data-Structure-Directed Programs 115
5 Conclusion 120
References 121
Chapter 7. Misty: An Object-Oriented Programming Language with 
122 
1 Introduction 122
2 Object-Oriented Programming Languages and Types 123
3 Design of the Misty Language 124
4 The Compiler 132
5 Programming in Misty 133
6 Conclusions 137
References 137
Chapter 8. The Semantics of an Object-Oriented Concurrent Programming Language: Process Algebraic 
140 
1 Introduction 140
2 Notation 141
3 Concurrent Object-Oriented Language Mono 141
4 Process Algebra Model ECCS 146
5 Transformation from Mono to ECCS 153
6 Summary 160
References 160
Chapter 9. 
164 
1 Introduction 164
2 The Structure of Floating-Point Round-off 
164 
3 Research Results 166
4 Conclusion 166
References 168
Chapter 10. Constraint Dependency Grammar 
170 
1 Introduction 170
2 Constraint Dependency Grammar: Definition 171
3 Weak Generative Capacity of CDG 173
4 Conclusion 185
References 186
Part II: Society News 9
Chapter 11. Rules for Submission of English 
188 
1 Rules for Submission of English Papers 188
2 English Paper Style Guidelines 189
Author's Guide 196
1 Introduction 196
2 Sending an Article 196
3 Offprints 197
Japan Society for Software Science and Technology Membership Application Form 198