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.
Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings / / Andrew D. Gordon (ed.)
| Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings / / Andrew D. Gordon (ed.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XV, 632 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | GordonAndrew D |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN |
1-280-38582-0
9786613563743 3-642-11957-3 |
| Classificazione |
DAT 350f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties -- Formal Verification of Coalescing Graph-Coloring Register Allocation -- A Theory of Speculative Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear Space -- Logical Concurrency Control from Sequential Proofs -- Fluid Updates: Beyond Strong vs. Weak Updates -- Parameterized Memory Models and Concurrent Separation Logic -- Amortized Resource Analysis with Polynomial Potential -- Generative Operational Semantics for Relaxed Memory Models -- Automating Security Mediation Placement -- TRX: A Formally Verified Parser Interpreter -- On the Expressive Power of Primitives for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow Policies in Fine -- Stateful Contracts for Affine Types -- CFA2: A Context-Free Approach to Control-Flow Analysis -- Weighted Dynamic Pushdown Networks -- Explicit Stabilisation for Modular Rely-Guarantee Reasoning. |
| Altri titoli varianti |
19th European Symposium on Programming
European Symposium on Programming ESOP 2010 ETAPS 2010 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484592703321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||