Cargando…
Advances in software science and technology. Volume 3 /
Advances in Software Science and Technology.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
San Diego, CA :
Academic Press,
1992.
|
| 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; Part I: Research Contributions; Part II: Society News; Editor's Message; Ikuo Nakata; Contents of Previous Volumes; Chapter 1. Prototyping a System of Writing Tools for JapaneseDocuments; 1 Introduction; 2 Features of Japanese Documents; 3 Development Policy; 4 First Version of SUIKOU; 5 Addition and Determination of Functions; 6 Improvement of Efficiency; 7 Modification of User Interface; 8 Environment and Coding Method; 9 Discussion; 10 Conclusions; References.
- Chapter 2. Attribute Grammar EvaluationSystem for Natural-Language Processing1 Introduction; 2 Informal Description of CAGs; 3 Principles of the CAG Evaluator; 4 Application to Natural-Language Processing; 5 Conclusion; References; Chapter3. An Object-Oriented Implementation of TCP/IP Network Protocols; 1 Introduction; 2 Implementation Model; 3 Implementation Model and Object-Oriented Programming; 4 Implementation in Object-Oriented Programming; 5 Evaluation; 6 Summary; References; Chapter 4. RACCO: A Modal-Logic Programming Language for Writing Modelsof Real-Time Process-Control Systems.
- 1 Introduction2 A Primer of RACCO; 3 Semantics and Implementation; References; Chapter 5. Formalizing Computer Program Traces; 1 Introduction; 2 T-equivalence between Programs; 3 Stereoscopic Program Extension; 4 Natural Numbers and S-Expressions; 5 Concluding Remarks; References; Chapter 6. Regular Expressions with Semantic Rules and TheirApplication to Data Structure Directed Programs; 1 Introduction; 2 Explanation by Simple Examples; 3 Regular Expressions with Semantic Rules and Their Automata; 4 Application to Data-Structure-Directed Programs; 5 Conclusion; References.
- Chapter 7. Misty: An Object-Oriented Programming Language with Multiple Inheritance and Strict Type-Checking1 Introduction; 2 Object-Oriented Programming Languages and Types; 3 Design of the Misty Language; 4 The Compiler; 5 Programming in Misty; 6 Conclusions; References; Chapter 8. The Semantics of an Object-Oriented Concurrent Programming Language: Process AlgebraicApproach; 1 Introduction; 2 Notation; 3 Concurrent Object-Oriented Language Mono; 4 Process Algebra Model ECCS; 5 Transformation from Mono to ECCS; 6 Summary; References; Chapter 9. Floating-Point Numbers and Real Numbers II.
- 1 Introduction2 The Structure of Floating-Point Round-offArithmetic; 3 Research Results; 4 Conclusion; References; Chapter 10. Constraint Dependency Grammarand Its Weak Generative Capacity; 1 Introduction; 2 Constraint Dependency Grammar: Definition; 3 Weak Generative Capacity of CDG; 4 Conclusion; References; Chapter 11. Rules for Submission of EnglishPapers and English Paper Style Guidelines; 1 Rules for Submission of English Papers; 2 English Paper Style Guidelines; Author's Guide; 1 Introduction; 2 Sending an Article; 3 Offprints.