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 |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn895675322 | ||
| 003 | OCoLC | ||
| 005 | 20231120111906.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141117s1994 enk o 100 0 eng d | ||
| 040 | |a OPELS |b eng |e rda |e pn |c OPELS |d E7B |d OCLCF |d DEBBG |d STF |d VLY |d OCLCQ |d COM |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 019 | |a 961487450 | ||
| 020 | |z 0120371057 | ||
| 020 | |z 9780120371051 | ||
| 035 | |a (OCoLC)895675322 |z (OCoLC)961487450 | ||
| 050 | 4 | |a QA76.754 | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 0 | 0 | |a Advances in software science and technology. |n Volume 5 / |c Japan Society for Software Science and Technology. |
| 264 | 1 | |a London : |b Academic Press, |c 1994. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Online resource; title from PDF title page (ScienceDirect, viewed November 17, 2014). | |
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 520 | |a 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. | ||
| 650 | 0 | |a Computer software. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 2 | |a Software |0 (DNLM)D012984 | |
| 650 | 6 | |a Logiciels. |0 (CaQQLa)201-0032041 | |
| 650 | 6 | |a Programmation (Informatique) |0 (CaQQLa)201-0002014 | |
| 650 | 7 | |a software. |2 aat |0 (CStmoGRI)aat300028566 | |
| 650 | 7 | |a computer programming. |2 aat |0 (CStmoGRI)aat300054641 | |
| 650 | 7 | |a Computer programming |2 fast |0 (OCoLC)fst00872390 | |
| 650 | 7 | |a Computer software |2 fast |0 (OCoLC)fst00872527 | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a proceedings (reports) |2 aat |0 (CStmoGRI)aatgf300027316 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 710 | 2 | |a Nihon Sofutowea Kagakkai. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780120371051 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/10447997/5 |z Texto completo |