Reset Filters
Branch: 虹口分馆乍浦馆

Cover is for reference only

Advances in software science and technology. Volume 3 /

Advances in Software Science and Technology.

Saved in:
Bibliographic Details
Corporate Authors: Elsevier Science & Technology; Nihon Sofutowea Kagakkai
Published: Academic Press,
Publisher Address: San Diego, CA :
Publication Dates: 1992.
Literature type: eBook
Language: English
Subjects:
COMPUTERS / Programming / Open Source
COMPUTERS / Software Development & Engineering / General
COMPUTERS / Software Development & Engineering / Tools
Computer software
Computer programming
Electronic books
Online Access: http://www.sciencedirect.com/science/bookseries/10447997/3
Summary: Advances in Software Science and Technology.
Carrier Form: 1 online resource
ISBN: 9781483215716
1483215717
Index Number: QA76
CLC: TP31
Contents: 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 withMultiple 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.

Related Book Recommendations