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.
Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft
| Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft |
| Autore | Jagger Jon <1966-> |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PerryNigel
SestoftPeter |
| Soggetto topico | C (Computer program language) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-76379-9
9786611763794 0-08-055053-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; C# Annotated Standard; Copyright Page; Dedications; Contents; Foreword to the Annotated Standard; Preface to the Annotated Standard; Acknowledgments; About The Authors; Errata To The International Standard; The C# International Standard and Foreword; Introduction; CLI not required; Chapter 1: Scope; Chapter 2: Conformance; Interpreters; Chapter 3: Normative references; Chapter 4: Definitions; Application vs. program; Assembly vs. class files; Accessing class libraries; Programs, assemblies, applications and class libraries; Chapter 5: Notational conventions
Chapter 6: Acronyms and abbreviationsASCII Rules!; The C# name; Chapter 7: General description; Where to look for requirements on unsafe constructs; Chapter 8: Language overview; Annotation free zone; 8.1 Getting started; 8.2 Types; 8.2.1 Predefined types; 8.2.2 Conversions; 8.2.3 Array types; 8.2.4 Type system unification; 8.3 Variables and parameters; 8.4 Automatic memory management; 8.5 Expressions; 8.6 Statements; 8.7 Classes; 8.7.1 Constants; 8.7.2 Fields; 8.7.3 Methods; 8.7.4 Properties; 8.7.5 Events; 8.7.6 Operators; 8.7.7 Indexers; 8.7.8 Instance constructors; 8.7.9 Finalizers 8.7.10 Static constructors8.7.11 Inheritance; 8.7.12 Static classes; 8.7.13 Partial type declarations; 8.8 Structs; 8.9 Interfaces; 8.10 Delegates; 8.11 Enums; 8.12 Namespaces and assemblies; 8.13 Versioning; 8.14 Extern aliases; 8.15 Attributes; 8.16 Generics; 8.16.1 Why generics?; 8.16.2 Creating and consuming generics; 8.16.3 Multiple type parameters; 8.16.4 Constraints; 8.16.5 Generic methods; 8.17 Anonymous methods; 8.18 Iterators; 8.19 Nullable types; Chapter 9: Lexical structure; 9.1 Programs; Much ado about nothing; 9.2 Grammars; 9.2.1 Lexical grammar; 9.2.2 Syntactic grammar 9.2.3 Grammar ambiguitiesRationale: the "following token" set; Similar cast expression ambiguity; F(G>7); 9.3 Lexical analysis; 9.3.1 Line terminators; 9.3.2 Comments; 9.3.3 White space; 9.4 Tokens; 9.4.1 Unicode escape sequences; No escapes in verbatim strings; No escapes in comments; 9.4.2 Identifiers; Identifier normalization; The humble underscore; Keyword escape mechanism; Code generation; 9.4.3 Keywords; Language evolution; 9.4.4 Literals; 9.4.4.1 Boolean literals; Boolean arguments considered harmful?; 9.4.4.2 Integer literals; Historical note; Boundary differences 9.4.4.3 Real literalsWhat is 1.D?; Money or deciMal?; 9.4.4.4 Character literals; No octal character escapes; 9.4.4.5 String literals; Platform independent newlines; Historical note; Happy birthday, Joel; Overspecification...; Hexadecimal escape character pitfalls; 9.4.4.6 The null literal; 9.4.5 Operators and punctuators; >>== tokenization oddity; Tokenization anecdote; 9.5 Pre-processing directives; To pre-process, or not pre-process?; Why no delimited comments in #directives?; Why no macros?; 9.5.1 Conditional compilation symbols; Conditional symbol oddity No program-wide pre-processing symbols |
| Record Nr. | UNINA-9910451695003321 |
Jagger Jon <1966->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft
| Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft |
| Autore | Jagger Jon <1966-> |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PerryNigel
SestoftPeter |
| Soggetto topico | C (Computer program language) |
| ISBN |
1-281-76379-9
9786611763794 0-08-055053-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; C# Annotated Standard; Copyright Page; Dedications; Contents; Foreword to the Annotated Standard; Preface to the Annotated Standard; Acknowledgments; About The Authors; Errata To The International Standard; The C# International Standard and Foreword; Introduction; CLI not required; Chapter 1: Scope; Chapter 2: Conformance; Interpreters; Chapter 3: Normative references; Chapter 4: Definitions; Application vs. program; Assembly vs. class files; Accessing class libraries; Programs, assemblies, applications and class libraries; Chapter 5: Notational conventions
Chapter 6: Acronyms and abbreviationsASCII Rules!; The C# name; Chapter 7: General description; Where to look for requirements on unsafe constructs; Chapter 8: Language overview; Annotation free zone; 8.1 Getting started; 8.2 Types; 8.2.1 Predefined types; 8.2.2 Conversions; 8.2.3 Array types; 8.2.4 Type system unification; 8.3 Variables and parameters; 8.4 Automatic memory management; 8.5 Expressions; 8.6 Statements; 8.7 Classes; 8.7.1 Constants; 8.7.2 Fields; 8.7.3 Methods; 8.7.4 Properties; 8.7.5 Events; 8.7.6 Operators; 8.7.7 Indexers; 8.7.8 Instance constructors; 8.7.9 Finalizers 8.7.10 Static constructors8.7.11 Inheritance; 8.7.12 Static classes; 8.7.13 Partial type declarations; 8.8 Structs; 8.9 Interfaces; 8.10 Delegates; 8.11 Enums; 8.12 Namespaces and assemblies; 8.13 Versioning; 8.14 Extern aliases; 8.15 Attributes; 8.16 Generics; 8.16.1 Why generics?; 8.16.2 Creating and consuming generics; 8.16.3 Multiple type parameters; 8.16.4 Constraints; 8.16.5 Generic methods; 8.17 Anonymous methods; 8.18 Iterators; 8.19 Nullable types; Chapter 9: Lexical structure; 9.1 Programs; Much ado about nothing; 9.2 Grammars; 9.2.1 Lexical grammar; 9.2.2 Syntactic grammar 9.2.3 Grammar ambiguitiesRationale: the "following token" set; Similar cast expression ambiguity; F(G>7); 9.3 Lexical analysis; 9.3.1 Line terminators; 9.3.2 Comments; 9.3.3 White space; 9.4 Tokens; 9.4.1 Unicode escape sequences; No escapes in verbatim strings; No escapes in comments; 9.4.2 Identifiers; Identifier normalization; The humble underscore; Keyword escape mechanism; Code generation; 9.4.3 Keywords; Language evolution; 9.4.4 Literals; 9.4.4.1 Boolean literals; Boolean arguments considered harmful?; 9.4.4.2 Integer literals; Historical note; Boundary differences 9.4.4.3 Real literalsWhat is 1.D?; Money or deciMal?; 9.4.4.4 Character literals; No octal character escapes; 9.4.4.5 String literals; Platform independent newlines; Historical note; Happy birthday, Joel; Overspecification...; Hexadecimal escape character pitfalls; 9.4.4.6 The null literal; 9.4.5 Operators and punctuators; >>== tokenization oddity; Tokenization anecdote; 9.5 Pre-processing directives; To pre-process, or not pre-process?; Why no delimited comments in #directives?; Why no macros?; 9.5.1 Conditional compilation symbols; Conditional symbol oddity No program-wide pre-processing symbols |
| Record Nr. | UNINA-9910781802603321 |
|
Jagger Jon <1966->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
C annotated standard / / Jon Jagger, Nigel Perry, Peter Sestoft
| C annotated standard / / Jon Jagger, Nigel Perry, Peter Sestoft |
| Autore | Jagger Jon <1966-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PerryNigel
SestoftPeter |
| Soggetto topico | C (Computer program language) |
| ISBN |
1-281-76379-9
9786611763794 0-08-055053-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; C# Annotated Standard; Copyright Page; Dedications; Contents; Foreword to the Annotated Standard; Preface to the Annotated Standard; Acknowledgments; About The Authors; Errata To The International Standard; The C# International Standard and Foreword; Introduction; CLI not required; Chapter 1: Scope; Chapter 2: Conformance; Interpreters; Chapter 3: Normative references; Chapter 4: Definitions; Application vs. program; Assembly vs. class files; Accessing class libraries; Programs, assemblies, applications and class libraries; Chapter 5: Notational conventions
Chapter 6: Acronyms and abbreviationsASCII Rules!; The C# name; Chapter 7: General description; Where to look for requirements on unsafe constructs; Chapter 8: Language overview; Annotation free zone; 8.1 Getting started; 8.2 Types; 8.2.1 Predefined types; 8.2.2 Conversions; 8.2.3 Array types; 8.2.4 Type system unification; 8.3 Variables and parameters; 8.4 Automatic memory management; 8.5 Expressions; 8.6 Statements; 8.7 Classes; 8.7.1 Constants; 8.7.2 Fields; 8.7.3 Methods; 8.7.4 Properties; 8.7.5 Events; 8.7.6 Operators; 8.7.7 Indexers; 8.7.8 Instance constructors; 8.7.9 Finalizers 8.7.10 Static constructors8.7.11 Inheritance; 8.7.12 Static classes; 8.7.13 Partial type declarations; 8.8 Structs; 8.9 Interfaces; 8.10 Delegates; 8.11 Enums; 8.12 Namespaces and assemblies; 8.13 Versioning; 8.14 Extern aliases; 8.15 Attributes; 8.16 Generics; 8.16.1 Why generics?; 8.16.2 Creating and consuming generics; 8.16.3 Multiple type parameters; 8.16.4 Constraints; 8.16.5 Generic methods; 8.17 Anonymous methods; 8.18 Iterators; 8.19 Nullable types; Chapter 9: Lexical structure; 9.1 Programs; Much ado about nothing; 9.2 Grammars; 9.2.1 Lexical grammar; 9.2.2 Syntactic grammar 9.2.3 Grammar ambiguitiesRationale: the "following token" set; Similar cast expression ambiguity; F(G>7); 9.3 Lexical analysis; 9.3.1 Line terminators; 9.3.2 Comments; 9.3.3 White space; 9.4 Tokens; 9.4.1 Unicode escape sequences; No escapes in verbatim strings; No escapes in comments; 9.4.2 Identifiers; Identifier normalization; The humble underscore; Keyword escape mechanism; Code generation; 9.4.3 Keywords; Language evolution; 9.4.4 Literals; 9.4.4.1 Boolean literals; Boolean arguments considered harmful?; 9.4.4.2 Integer literals; Historical note; Boundary differences 9.4.4.3 Real literalsWhat is 1.D?; Money or deciMal?; 9.4.4.4 Character literals; No octal character escapes; 9.4.4.5 String literals; Platform independent newlines; Historical note; Happy birthday, Joel; Overspecification...; Hexadecimal escape character pitfalls; 9.4.4.6 The null literal; 9.4.5 Operators and punctuators; >>== tokenization oddity; Tokenization anecdote; 9.5 Pre-processing directives; To pre-process, or not pre-process?; Why no delimited comments in #directives?; Why no macros?; 9.5.1 Conditional compilation symbols; Conditional symbol oddity No program-wide pre-processing symbols |
| Record Nr. | UNINA-9910816499003321 |
|
Jagger Jon <1966->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems [[electronic resource] ] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / / edited by Peter Sestoft
| Programming Languages and Systems [[electronic resource] ] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / / edited by Peter Sestoft |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 342 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Machine theory Software Engineering Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-540-33096-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space Analysis -- Haskell Is Not Not ML -- Coinductive Big-Step Operational Semantics -- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed Assembly Language for Confidentiality -- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies -- A Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User-Defined Type Qualifiers and Qualifier Rules -- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions -- Embedding Dynamic Dataflow in a Call-by-Value Language -- Polymorphic Type Inference for the JNI -- Type Safety of Generics for the .NET Common Language Runtime -- The Weird World of Bi-directional Programming. |
| Record Nr. | UNISA-996465809703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / / Peter Sestoft (ed.)
| Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / / Peter Sestoft (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XII, 342 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | SestoftPeter |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN | 3-540-33096-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space Analysis -- Haskell Is Not Not ML -- Coinductive Big-Step Operational Semantics -- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed Assembly Language for Confidentiality -- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies -- A Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User-Defined Type Qualifiers and Qualifier Rules -- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions -- Embedding Dynamic Dataflow in a Call-by-Value Language -- Polymorphic Type Inference for the JNI -- Type Safety of Generics for the .NET Common Language Runtime -- The Weird World of Bi-directional Programming. |
| Altri titoli varianti |
15th European Symposium on Programming
Fifteenth European Symposium on Programming European Symposium on Programming ESOP 2006 Joint European Conferences on Theory and Practice of Software ETAPS 2006 |
| Record Nr. | UNINA-9910767587703321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||