Programming Languages and Systems
Springer Berlin (Verlag)
978-3-642-10671-2 (ISBN)
Invited Talks.- The Twilight Zone: From Testing to Formal Specifications and Back Again.- Types and Recursion Schemes for Higher-Order Program Verification.- The Sketching Approach to Program Synthesis.- Program Analysis.- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation.- Abstract Transformers for Thread Correlation Analysis.- Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters.- Transformation and Optimization.- A Short Cut to Optimal Sequences.- A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming.- Witnessing Purity, Constancy and Mutability.- Type System.- On the Decidability of Subtyping with Bounded Existential Types.- Fractional Ownerships for Safe Memory Deallocation.- Ownership Downgrading for Ownership Types.- Separation Logic.- A Fresh Look at Separation Algebras and Share Accounting.- Weak updates and separation logic.- Proving Copyless Message Passing.- Logic and Foundation Theory.- On Stratified Regions.- Parallel Reduction in Resource Lambda-Calculus.- Classical Natural Deduction for S4 Modal Logic.- Software Security and Verification.- Bi-abductive Resource Invariant Synthesis.- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.- Asymptotic Resource Usage Bounds.- The Higher-Order, Call-by-Value Applied Pi-Calculus.- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.- Refining Abstract Interpretation-Based Static Analyses with Hints.
Erscheint lt. Verlag | 24.11.2009 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | X, 359 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Schlagworte | Abstract Interpretation • APL • bisimulation • commutation • Concurrency • formal specification • Hardcover, Softcover / Informatik, EDV/Programmiersprachen • Java programming • JavaScript • Logic • Logic Programming • Modeling Languages • Object-Orientation • Operational Semantics • program analysis • Program Logics • programming • programming calculi • Programming language • Programming Languages • Programming Systems • Programming Theory • Program Semantics • Program Transformation • Real-Time Systems • reducibility candidates • Scalability • security • Semantics • separation logic • Static Analysis • Synchronous Languages • systems modeling • termination • Transformation • Type Systems • verification |
ISBN-10 | 3-642-10671-4 / 3642106714 |
ISBN-13 | 978-3-642-10671-2 / 9783642106712 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich