Cargando…
Advances in software science and technology. Volume 5 /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Academic Press,
1994.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Advances in Software Scienceand Technology; Copyright Page; Contributors; Table of Contents; Editor's Message; CONTENTS OF PREVIOUS VOLUMES; Chapter 1. Generation of Pattern-Matching Algorithms by Extended Regular Expressions; 1 Introduction; 2 The Knuth-Morris-Pratt Pattern-Matching Algorithm; 3 The Aho-Corasick Algorithm; 4 Conclusion; References; Chapter 2. Derivation of a Knuth-Morris-Pratt Algorithm by Fully Lazy Partial Computation; 1 Partial Computation and Fully Lazy Evaluation; 2 A Fully Lazy Partial Evaluator; 3 Derivation of Knuth-Morris-Pratt Algorithms
- 4 Conclusions and Related WorkReferences; Chapter 3.Computability of Modularization of Constraints; 1 Introduction; 2 Properties of the Modularization of Constraints; 3 Classification of Constraints; 4 Another Example; 5 Conclusion; References; Chapter 4. Declarative Semantics of Logic Programs on Parameterized Representation Systems; 1 Introduction; 2 Representation Systems and Parameterized Representation Systems; 3 Logic Programs on Parameterized Representation Systems; 4 Interpretations and Models; 5 Minimal Model Semantics; 6 Least Fixpoint Semantics
- 7 Semantics of Generalized Logic Programs8 Concluding Remarks; References; Appendix; Chapter 5. TAMPOPO: An Evolutionary Learning Machine Based on the Principle of Realtime Minimum Skyline Detection; 1 Introduction; 2 Learning Problem Formulation; 3 Formal Specification of TAMPOPO; 4 Behavior Analysis of TAMPOPO; 5 Conclusions; Acknowledgments; References; Chapter 6. Implementation of Augmented Logic Language (ALL); 1 Introduction; 2 Notation and Terminology; 3 Logical Background and the ALL Interpreter; 4 Transformation Rules; 5 Implementation Techniques; 6 Limitations of ALL
- 7 Execution Examples8 Summary; References; Appendix; Chapter 7. The Determinacy of a Prolog Predicate Call; 1 Introduction; 2 Determinacy Detection and Its Applications; 3 The Determinacy of a Predicate Call; 4 Concluding Remarks; References; Chapter 8. Distributed C Language Based on a Higher-Order RPC Technique; 1 Introduction; 2 Higher-Order Remote Procedure Calls; 3 Design of the distributed C language; 4 Implementation of Distributed C; 5 Experiments; 6 Related Work; 7 Conclusion; References; Chapter 9. Adding a Multilingual Feature to Smalltalk-80; 1 Introduction
- 2 Text-processing Features (of a General Purpose Programming Language)3 Adding a multilingual feature to Smalltalk-80; 4 Summary and Discussion; 5 Future Work; 6 Conclusion; References; Chapter 10. Japanese Character Set Handling in Kyoto Common Lisp; 1 Introduction; 2 Principles of JCSH; 3 Implementation of JCSH on KCL; 5 Conclusions; References; Chapter 11. Drill Text Understanding with Integrated Natural Language and Picture Processing; 1 Introduction; 2 Overview of Understanding System; 3 Knowledge Module; 4 Cooperative Understanding of Language and Picture; 5 Experiments; 6 Conclusions