Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Proceedings of the nineteenth ACM Symposium on Operating Systems Principles
| Proceedings of the nineteenth ACM Symposium on Operating Systems Principles |
| Autore | Scott Michael Lee <1959-> |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2003 |
| Descrizione fisica | 1 online resource (330 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the nineteenth Association for Computing Machinery Symposium on Operating Systems Principles
SOSP '03 ACM Symposium on Operating Systems Principles, Bolton Landing, NY, USA - October 19 - 22, 2003 |
| Record Nr. | UNINA-9910375843503321 |
Scott Michael Lee <1959->
|
||
| [Place of publication not identified], : ACM, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming language pragmatics / / Michael L. Scott
| Programming language pragmatics / / Michael L. Scott |
| Autore | Scott Michael Lee <1959-> |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Pub., c2009 |
| Descrizione fisica | 1 online resource (941 p.) |
| Disciplina | 005.13 |
| Soggetto topico | Programming languages (Electronic computers) |
| ISBN |
9786612120930
9781282120938 128212093X 9780080922997 0080922996 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Programming Language Pragmatics; Copyright; Table of Contents; Foreword; Preface; Part I: Foundations; Chapter 1. Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?; 1.4 Compilation and Interpretation; 1.5 Programming Environments; 1.6 An Overview of Compilation; 1.6.1 Lexical and Syntax Analysis; 1.6.2 Semantic Analysis and Intermediate Code Generation; 1.6.3 Target Code Generation; 1.6.4 Code Improvement; 1.7 Summary and Concluding Remarks; 1.8 Exercises; 1.9 Explorations; 1.10 Bibliographic Notes
Chapter 2. Programming Language Syntax2.1 Specifying Syntax: Regular Expressions and Context-Free Grammars; 2.1.1 Tokens and Regular Expressions; 2.1.2 Context-Free Grammars; 2.1.3 Derivations and ParseTrees; 2.2 Scanning; 2.2.1 Generating a Finite Automaton; 2.2.2 Scanner Code; 2.2.3 Table-Driven Scanning; 2.2.4 Lexical Errors; 2.2.5 Pragmas; 2.3 Parsing; 2.3.1 Recursive Descent; 2.3.2 Table-DrivenTop-Down Parsing; 2.3.3 Bottom-Up Parsing; 2.3.4 Syntax Errors; 2.4 Theoretical Foundations; 2.5 Summary and Concluding Remarks; 2.6 Exercises; 2.7 Explorations; 2.8 Bibliographic Notes Chapter 3. Names, Scopes, and Bindings3.1 The Notion of Binding Time; 3.2 Object Lifetime and Storage Management; 3.2.1 Static Allocation; 3.2.2 Stack-Based Allocation; 3.2.3 Heap-Based Allocation; 3.2.4 Garbage Collection; 3.3 Scope Rules; 3.3.1 Static Scoping; 3.3.2 Nested Subroutines; 3.3.3 Declaration Order; 3.3.4 Modules; 3.3.5 ModuleTypes and Classes; 3.3.6 Dynamic Scoping; 3.4 Implementing Scope; 3.5 The Meaning of Names within a Scope; 3.5.1 Aliases; 3.5.2 Overloading; 3.5.3 Polymorphism and Related Concepts; 3.6 The Binding of Referencing Environments; 3.6.1 Subroutine Closures 3.6.2 First-ClassValues and Unlimited Extent3.6.3 Object Closures; 3.7 Macro Expansion; 3.8 Separate Compilation; 3.9 Summary and Concluding Remarks; 3.10 Exercises; 3.11 Explorations; 3.12 Bibliographic Notes; Chapter 4. Semantic Analysis; 4.1 The Role of the Semantic Analyzer; 4.2 Attribute Grammars; 4.3 Evaluating Attributes; 4.4 Action Routines; 4.5 Space Management for Attributes; 4.6 Decorating a SyntaxTree; 4.7 Summary and Concluding Remarks; 4.8 Exercises; 4.9 Explorations; 4.10 Bibliographic Notes; Chapter 5. Target Machine Architecture; Part II: Core Issues in Language Design Chapter 6. Control Flow6.1 Expression Evaluation; 6.1.1 Precedence and Associativity; 6.1.2 Assignments; 6.1.3 Initialization; 6.1.4 Ordering within Expressions; 6.1.5 Short-Circuit Evaluation; 6.2 Structured and Unstructured Flow; 6.2.1 Structured Alternatives to goto; 6.2.2 Continuations; 6.3 Sequencing; 6.4 Selection; 6.4.1 Short-Circuited Conditions; 6.4.2 Case/Switch Statements; 6.5 Iteration; 6.5.1 Enumeration-Controlled Loops; 6.5.2 Combination Loops; 6.5.3 Iterators; 6.5.4 Generators in Icon; 6.5.5 Logically Controlled Loops; 6.6 Recursion; 6.6.1 Iteration and Recursion 6.6.2 Applicative- and Normal-Order Evaluation |
| Record Nr. | UNINA-9911006499903321 |
|
Scott Michael Lee <1959->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Pub., c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
| Programming language pragmatics [[electronic resource] /] / Michael L. Scott |
| Autore | Scott Michael Lee <1959-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | San Francisco, Calif., : Morgan Kaufmann |
| Descrizione fisica | 1 online resource (915 p.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Computer science |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-12-410409-6
1-283-28140-6 9786613281401 0-08-051516-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Copyright page; Foreword; Contents; Preface; Part I. Foundations; Chapter 1. Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?; 1.5 Programming Environments; 1.6 An Overview of Compilation; 1.7 Summary and Concluding Remarks; 1.8 Exercises; 1.9 Explorations; 1.10 Bibliographic Notes; Chapter 2. Programming Language Syntax; 2.1 Specifying Syntax; 2.3 Parsing; 2.4 Theoretical Foundations; 2.5 Summary and Concluding Remarks; 2.6 Exercises; 2.7 Explorations; 2.8 Bibliographic Notes
Chapter 3. Names, Scopes, and Bindings3.1 The Notion of Binding Time; 3.2 Object Lifetime and Storage Management; 3.3 Scope Rules; 3.4 Implementing Scope; 3.5 The Binding of Referencing Environments; 3.6 Binding Within a Scope; 3.7 Separate Compilation; 3.8 Summary and Concluding Remarks; 3.9 Exercises; 3.10 Explorations; 3.11 Bibliographic Notes; Chapter 4. Semantic Analysis; 4.1 The Role of the Semantic Analyzer; 4.2 Attribute Grammars; 4.3 Evaluating Attributes; 4.4 Action Routines; 4.5 Space Management for Attributes; 4.6 Decorating a Syntax Tree; 4.7 Summary and Concluding Remarks 4.8 Exercises4.9 Explorations; 4.10 Bibliographic Notes; Chapter 5. Target Machine Architecture; 5.1 The Memory Hierarchy; 5.2 Data Representation; 5.3 Instruction Set Architecture; 5.4 Architecture and Implementation; 5.5 Compiling for Modern Processors; 5.6 Summary and Concluding Remarks; 5.7 Exercises; 5.8 Explorations; 5.9 Bibliographic Notes; Part II. Core Issues in Language Design; Chapter 6. Control Flow; 6.1 Expression Evaluation; 6.2 Structured and Unstructured Flow; 6.3 Sequencing; 6.4 Selection; 6.5 Iteration; 6.6 Recursion; 6.7 Nondeterminacy; 6.8 Summary and Concluding Remarks 6.9 Exercises6.10 Explorations; 6.11 Bibliographic Notes; Chapter 7. Data Types; 7.1 Type Systems; 7.2 Type Checking; 7.3 Records (Structures) and Variants (Unions); 7.4 Arrays; 7.5 lines; 7.6 Sets; 7.7 Pointers and Recursive Types; 7.8 Lists; 7.9 Files and Input/Output; 7.10 Equality Testing and Assignment; 7.11 Summary and Concluding Remarks; 7.12 Exercises; 7.13 Explorations; 7.14 Bibliographic Notes; Chapter 8. Subroutines and Control Abstraction; 8.1 Review of Stack Layout; 8.2 Calling Sequences; 8.3 Parameter Passing; 8.4 Generic Subroutines and Modules; 8.5 Exception Handling 8.6 Coroutines8.7 Summary and Concluding Remarks; 8.8 Exercises; 8.9 Explorations; 8.10 Bibliographic Notes; Chapter 9. Data Abstraction and Object Orientation; 9.1 Object-Oriented Programming; 9.2 Encapsulation and Inheritance; 9.3 Initialization and Finalization; 9.4 Dynamic Method Binding; 9.5 Multiple Inheritance; 9.6 Object-Oriented Programming Revisited; 9.7 Summary and Concluding Remarks; 9.8 Exercises; 9.9 Explorations; 9.10 Bibliographic Notes; Part III. Alternative Programming Models; Chapter 10. Functional Languages; 10.1 Historical Origins; 10.2 Functional Programming Concepts 10.3 A Review/Overview of Scheme |
| Record Nr. | UNINA-9910454282103321 |
|
Scott Michael Lee <1959->
|
||
| San Francisco, Calif., : Morgan Kaufmann | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
| Programming language pragmatics [[electronic resource] /] / Michael L. Scott |
| Autore | Scott Michael Lee <1959-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | San Francisco, Calif., : Morgan Kaufmann |
| Descrizione fisica | 1 online resource (915 p.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Computer science |
| ISBN |
0-12-410409-6
1-283-28140-6 9786613281401 0-08-051516-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Copyright page; Foreword; Contents; Preface; Part I. Foundations; Chapter 1. Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?; 1.5 Programming Environments; 1.6 An Overview of Compilation; 1.7 Summary and Concluding Remarks; 1.8 Exercises; 1.9 Explorations; 1.10 Bibliographic Notes; Chapter 2. Programming Language Syntax; 2.1 Specifying Syntax; 2.3 Parsing; 2.4 Theoretical Foundations; 2.5 Summary and Concluding Remarks; 2.6 Exercises; 2.7 Explorations; 2.8 Bibliographic Notes
Chapter 3. Names, Scopes, and Bindings3.1 The Notion of Binding Time; 3.2 Object Lifetime and Storage Management; 3.3 Scope Rules; 3.4 Implementing Scope; 3.5 The Binding of Referencing Environments; 3.6 Binding Within a Scope; 3.7 Separate Compilation; 3.8 Summary and Concluding Remarks; 3.9 Exercises; 3.10 Explorations; 3.11 Bibliographic Notes; Chapter 4. Semantic Analysis; 4.1 The Role of the Semantic Analyzer; 4.2 Attribute Grammars; 4.3 Evaluating Attributes; 4.4 Action Routines; 4.5 Space Management for Attributes; 4.6 Decorating a Syntax Tree; 4.7 Summary and Concluding Remarks 4.8 Exercises4.9 Explorations; 4.10 Bibliographic Notes; Chapter 5. Target Machine Architecture; 5.1 The Memory Hierarchy; 5.2 Data Representation; 5.3 Instruction Set Architecture; 5.4 Architecture and Implementation; 5.5 Compiling for Modern Processors; 5.6 Summary and Concluding Remarks; 5.7 Exercises; 5.8 Explorations; 5.9 Bibliographic Notes; Part II. Core Issues in Language Design; Chapter 6. Control Flow; 6.1 Expression Evaluation; 6.2 Structured and Unstructured Flow; 6.3 Sequencing; 6.4 Selection; 6.5 Iteration; 6.6 Recursion; 6.7 Nondeterminacy; 6.8 Summary and Concluding Remarks 6.9 Exercises6.10 Explorations; 6.11 Bibliographic Notes; Chapter 7. Data Types; 7.1 Type Systems; 7.2 Type Checking; 7.3 Records (Structures) and Variants (Unions); 7.4 Arrays; 7.5 lines; 7.6 Sets; 7.7 Pointers and Recursive Types; 7.8 Lists; 7.9 Files and Input/Output; 7.10 Equality Testing and Assignment; 7.11 Summary and Concluding Remarks; 7.12 Exercises; 7.13 Explorations; 7.14 Bibliographic Notes; Chapter 8. Subroutines and Control Abstraction; 8.1 Review of Stack Layout; 8.2 Calling Sequences; 8.3 Parameter Passing; 8.4 Generic Subroutines and Modules; 8.5 Exception Handling 8.6 Coroutines8.7 Summary and Concluding Remarks; 8.8 Exercises; 8.9 Explorations; 8.10 Bibliographic Notes; Chapter 9. Data Abstraction and Object Orientation; 9.1 Object-Oriented Programming; 9.2 Encapsulation and Inheritance; 9.3 Initialization and Finalization; 9.4 Dynamic Method Binding; 9.5 Multiple Inheritance; 9.6 Object-Oriented Programming Revisited; 9.7 Summary and Concluding Remarks; 9.8 Exercises; 9.9 Explorations; 9.10 Bibliographic Notes; Part III. Alternative Programming Models; Chapter 10. Functional Languages; 10.1 Historical Origins; 10.2 Functional Programming Concepts 10.3 A Review/Overview of Scheme |
| Record Nr. | UNINA-9910782743203321 |
|
Scott Michael Lee <1959->
|
||
| San Francisco, Calif., : Morgan Kaufmann | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming language pragmatics / / Michael L. Scott
| Programming language pragmatics / / Michael L. Scott |
| Autore | Scott Michael Lee <1959-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | San Francisco, Calif., : Morgan Kaufmann |
| Descrizione fisica | 1 online resource (915 p.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Computer science |
| ISBN |
9786613281401
9780124104099 0124104096 9781283281409 1283281406 9780080515168 0080515169 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Copyright page; Foreword; Contents; Preface; Part I. Foundations; Chapter 1. Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?; 1.5 Programming Environments; 1.6 An Overview of Compilation; 1.7 Summary and Concluding Remarks; 1.8 Exercises; 1.9 Explorations; 1.10 Bibliographic Notes; Chapter 2. Programming Language Syntax; 2.1 Specifying Syntax; 2.3 Parsing; 2.4 Theoretical Foundations; 2.5 Summary and Concluding Remarks; 2.6 Exercises; 2.7 Explorations; 2.8 Bibliographic Notes
Chapter 3. Names, Scopes, and Bindings3.1 The Notion of Binding Time; 3.2 Object Lifetime and Storage Management; 3.3 Scope Rules; 3.4 Implementing Scope; 3.5 The Binding of Referencing Environments; 3.6 Binding Within a Scope; 3.7 Separate Compilation; 3.8 Summary and Concluding Remarks; 3.9 Exercises; 3.10 Explorations; 3.11 Bibliographic Notes; Chapter 4. Semantic Analysis; 4.1 The Role of the Semantic Analyzer; 4.2 Attribute Grammars; 4.3 Evaluating Attributes; 4.4 Action Routines; 4.5 Space Management for Attributes; 4.6 Decorating a Syntax Tree; 4.7 Summary and Concluding Remarks 4.8 Exercises4.9 Explorations; 4.10 Bibliographic Notes; Chapter 5. Target Machine Architecture; 5.1 The Memory Hierarchy; 5.2 Data Representation; 5.3 Instruction Set Architecture; 5.4 Architecture and Implementation; 5.5 Compiling for Modern Processors; 5.6 Summary and Concluding Remarks; 5.7 Exercises; 5.8 Explorations; 5.9 Bibliographic Notes; Part II. Core Issues in Language Design; Chapter 6. Control Flow; 6.1 Expression Evaluation; 6.2 Structured and Unstructured Flow; 6.3 Sequencing; 6.4 Selection; 6.5 Iteration; 6.6 Recursion; 6.7 Nondeterminacy; 6.8 Summary and Concluding Remarks 6.9 Exercises6.10 Explorations; 6.11 Bibliographic Notes; Chapter 7. Data Types; 7.1 Type Systems; 7.2 Type Checking; 7.3 Records (Structures) and Variants (Unions); 7.4 Arrays; 7.5 lines; 7.6 Sets; 7.7 Pointers and Recursive Types; 7.8 Lists; 7.9 Files and Input/Output; 7.10 Equality Testing and Assignment; 7.11 Summary and Concluding Remarks; 7.12 Exercises; 7.13 Explorations; 7.14 Bibliographic Notes; Chapter 8. Subroutines and Control Abstraction; 8.1 Review of Stack Layout; 8.2 Calling Sequences; 8.3 Parameter Passing; 8.4 Generic Subroutines and Modules; 8.5 Exception Handling 8.6 Coroutines8.7 Summary and Concluding Remarks; 8.8 Exercises; 8.9 Explorations; 8.10 Bibliographic Notes; Chapter 9. Data Abstraction and Object Orientation; 9.1 Object-Oriented Programming; 9.2 Encapsulation and Inheritance; 9.3 Initialization and Finalization; 9.4 Dynamic Method Binding; 9.5 Multiple Inheritance; 9.6 Object-Oriented Programming Revisited; 9.7 Summary and Concluding Remarks; 9.8 Exercises; 9.9 Explorations; 9.10 Bibliographic Notes; Part III. Alternative Programming Models; Chapter 10. Functional Languages; 10.1 Historical Origins; 10.2 Functional Programming Concepts 10.3 A Review/Overview of Scheme |
| Record Nr. | UNINA-9910964560203321 |
|
Scott Michael Lee <1959->
|
||
| San Francisco, Calif., : Morgan Kaufmann | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||