دانلود کتاب Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

فهرست مطالب :

Front Matter....Pages I-XIX
Front Matter....Pages 1-1
Programming with “Big Code”....Pages 3-8
Front Matter....Pages 9-9
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects....Pages 11-28
A Secure Compiler for ML Modules....Pages 29-48
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA....Pages 49-65
Front Matter....Pages 67-67
Separation Logic with Monadic Inductive Definitions and Implicit Existentials....Pages 69-89
Tree-Like Grammars and Separation Logic....Pages 90-108
Front Matter....Pages 109-109
Randomized Resource-Aware Path-Sensitive Static Analysis....Pages 111-126
Quadratic Zonotopes....Pages 127-145
Abstraction of Optional Numerical Values....Pages 146-166
Front Matter....Pages 167-167
Fault-Tolerant Resource Reasoning....Pages 169-188
Shifting the Blame....Pages 189-207
Aliasing Control in an Imperative Pure Calculus....Pages 208-228
Front Matter....Pages 229-229
A Strong Distillery....Pages 231-250
From Call-by-Value to Interaction by Typed Closure Conversion....Pages 251-270
Kripke Open Bisimulation....Pages 271-291
Front Matter....Pages 293-293
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs....Pages 295-312
Decision Algorithms for Checking Definability of Order-2 Finitary PCF....Pages 313-331
Front Matter....Pages 333-333
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations....Pages 335-355
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM....Pages 356-365
Front Matter....Pages 367-367
Quasi-Linearizability is Undecidable....Pages 369-386
Front Matter....Pages 367-367
Objects in Polynomial Time....Pages 387-404
Front Matter....Pages 405-405
Programming Techniques for Reversible Comparison Sorts....Pages 407-426
Transactions on Mergeable Objects....Pages 427-444
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers....Pages 445-462
Front Matter....Pages 463-463
Bottom-Up Context-Sensitive Pointer Analysis for Java....Pages 465-484
More Sound Static Handling of Java Reflection....Pages 485-503
Back Matter....Pages 505-506