Cantitate/Preț
Produs
Total produse
Vezi coșul
Programming Languages and Systems de Andrew Gordon

Programming Languages and Systems

Editat de Andrew Gordon
en Limba Engleză Paperback – 17 mar 2010
Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Citește tot Restrânge

Preț: 64191 lei

Preț vechi: 80239 lei
-20%

Puncte Express: 963

Carte tipărită la comandă

Livrare economică 01-15 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642119569
ISBN-10: 3642119565
Pagini: 652
Ilustrații: XV, 632 p.
Dimensiuni: 155 x 235 x 35 mm
Greutate: 0.97 kg
Ediția:2010
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.