Cargando…
Advances in software science and technology. Volume 1 /
Japan Society for Software Science and Technology.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston ; London :
Academic Press,
1990.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Advances in Software Science and Technology; Copyright Page; Contributors; Table of Contents; Editor's Message; Part I: Research Contributions; Chapter 1. JPSG-A Phrase Structure Grammar for Japanese; Summary; 1 Introduction; 2 Phrase Structure Grammars; 3 Grammar; 4 Principles of JPSG Parser; 5 Concluding Remarks; References; Chapter 2. Logical Semantics of Multiple World Mechanism for Knowledge Representation in Logic Programming; Summary; 1 Introduction; 2 Multiple World Mechanism; 3 Semantics of the Multiple World Mechanism; 4 Implementation; 5 Related Works; 6 Conclusion
- AcknowledgmentsReferences; Chapter 3. Adaptive Optimal Segmentation Schemes for Multiattribute Files; Summary; 1 Introduction; 2 File Segmentation by a Colored Binary Trie; 3 Optimal File Segmentation Schemes; 4 Evaluation of the Segmentation Scheme Using a Colored Binary Trie; 5 The Validity of the Use of a Colored Binary Trie; 6 Other Adaptive Segmentation Schemes for Multiattribute Files; 7 Remaining Research Problems; References; Chapter 4. Methods for Transforming Attribute Grammars into Efficient Action Routines; Summary; 1 Introduction; 2 Examples of the Results of Transformations
- 3 Traditional Approaches4 Variations of Synchronous Stack Method; 5 Extensions of Simple Postfix Transformation; 6 Conclusion; References; Chapter 5. Program Transformation of CCFG Programs; Summary; 1 Introduction; 2 CCFG Programming; 3 Program Transformation; 4 Conclusion; References; Chapter 6. Attribute Graph Grammars with Applications to Hichart Program Chart Editors; Summary; 1 Introduction; 2 An Attribute Graph Grammar for Hichart Program Charts; 3 Incremental Attribute Evaluation in Structure Editors; 4 Applications of Attribute Graph Grammars to Layout Problems; 5 Concluding Remarks
- 1 Introduction2 Structure of Binary Floating-Point Arithmetic; 3 The Probability Interpretation of Axioms for the Real Numbers by F(M, E); 4 Research Results; 5 Conclusion; References; Part II: Tutorial; Chapter 11. Category Theory for Algebraic Specification; Summary; 1 Introduction; 2 Equational Theories and Categories; 3 Algebras; 4 Institution; 5 Constraints; References; Chapter 12. On Concurrent Programming in Smalltalk-80; Summary; 1 Introduction; 2 The Concurrency in Smalltalk-80; 3 Sharing Resources among Objects; 4 Concurrent Programming in Smalltalk-80; 5 Conclusion; References