Vai al contenuto principale della pagina
Titolo: |
Programming Languages and Systems [[electronic resource] ] : 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 / / edited by Andrew Gordon
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Edizione: | 1st ed. 2010. |
Descrizione fisica: | 1 online resource (XV, 632 p.) |
Disciplina: | 005.1 |
Soggetto topico: | Software engineering |
Computer networks | |
Computer science | |
Computer programming | |
Compilers (Computer programs) | |
Software Engineering | |
Computer Communication Networks | |
Computer Science Logic and Foundations of Programming | |
Programming Techniques | |
Compilers and Interpreters | |
Classificazione: | DAT 350f |
SS 4800 | |
Persona (resp. second.): | GordonAndrew D. |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references and index. |
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. |
Titolo autorizzato: | Programming Languages and Systems ![]() |
ISBN: | 1-280-38582-0 |
9786613563743 | |
3-642-11957-3 | |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465290703316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |