Cargando…
Advances in software science and technology. Volume 2 /
Advances in Software Science and Technology.
| Clasificación: | Libro Electrónico |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
Academic Press,
�1991.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Advances in Software Science and Technology; Copyright Page; Table of Contents; Editor's Message; Ikuo Nakata; Part I: Research Contributions; Chapter 1. Attachment of a First-Order Data Constructor and Its Application; 1 Introduction; 2 Preliminaries; 3 First-Order Diagrams and Data Constructors; 4 Examples; 5 SetD; 6 Domain equation; 7 Application; 8 Conclusion; References; Chapter 2. A Smoothing Algorithm of Polygonal Curves and Polyhedral Surfaces; 1 Introduction; 2 Interpolation and Approximation; 3 The Proposed Algorithm; 4 Examples; 5 Variations of the Basic Algorithm
- 6 Application to 3D Surfaces7 End Conditions for 3D Surfaces; 8 Conclusions; References; Chapter 3. A Technique for Prolog Program Synthesis from Natural Language Specification; 1 Introduction; 2 The Knowledge Required for Program Synthesis; 3 Goal and Plan; 4 Implementation of the System; 5 Application Example; 6 Conclusion; References; Chapter 4. Processing Left Extraposition in a Bottom-Up Parsing System; 1 Introduction; 2 Left Extraposition and Grammar Formalisms; 3 BUP-XG
- Bottom-Up Parser for an XGS; 4 Implementation; 5 Appraisal of the BUP-XG System; 6 Conclusions; References
- Chapter 5. On Learning Smullyan's Elementary Formal Systems: Towards an Efficient Learning Method for Context-Sensitive Languages1 Introduction; 2 Preliminaries; 3 Extended Simple Formal Systems; 4 The Learning Algorithm; References; Chapter 6. A Data Model in the Software Project Database KyotoDB; 1 Introduction; 2 Comparison with Other Works; 3 Unit Workload; 4 Object; 5 Software Engineering Information and Semantic Relationships; 6 Example; 7 Conclusion; References; Chapter 7. Hamada Floating-Point Numbers and Real Numbers; 1 Introduction
- 2 The Structure of Hamada Floating-Point Arithmetic3 The Probability Interpretation of the Axioms of Real Numbers by HF(L); 4 Conclusions; Appendix; References; Chapter 8. An Efficient Multiple String Replacing Algorithm Using Patterns with Pictures; 1 Introduction; 2 Multiple String Replacement Problem; 3 The Arikawa-Shiraishi Algorithm; 4 The Validity of the Arikawa-Shiraishi Algorithm; 5 Patterns with Pictures; 6 Replacement Using Patterns with Pictures; 7 Conclusions; References; Chapter 9. Kamui88: A Parallel Computation Model with Fields and Events; 1 Introduction; 2 Overview of Kamui88
- 3 Definition of an Object4 Interactions between Objects; 5 Grouping Objects; 6 Modeling of Distributed Problem Solving Systems; 7 Examples; 8 Studies for Implementing Our Model in Parallel Environments; 9 Conclusions; References; Part II: Tutorial; Chapter 10. Formation and Development of the Concept of Algorithm ; 1 Formation of the Concept of Algorithm in the History of Mathematics; 2 Calculating Machines as the Physical Realization of Computing Processes; 3 Toward a Mathematical Definition of Algorithms; 4 On the Mathematical Definition of Algorithms: Church's Thesis