دانلود کتاب Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

فهرست مطالب :

Front Matter....Pages -
Program Analysis and Machine Learning: A Win-Win Deal....Pages 1-2
Software Verification with Liquid Types....Pages 3-3
Engineering Theories with Z3....Pages 4-16
Algebra, Logic, Locality, Concurrency....Pages 17-18
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants....Pages 19-33
Template-Based Unbounded Time Verification of Affine Hybrid Automata....Pages 34-49
Access-Based Localization with Bypassing....Pages 50-65
A Deductive Database with Datalog and SQL Query Languages....Pages 66-73
Constructing List Homomorphisms from Proofs....Pages 74-88
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping....Pages 89-104
Polymorphic Multi-stage Language with Control Effects....Pages 105-120
Compiler Backend Generation for Application Specific Instruction Set Processors....Pages 121-136
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs....Pages 137-154
SPAS : Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA....Pages 155-171
On the Strength of Owicki-Gries for Resources....Pages 172-187
Solving Recursion-Free Horn Clauses over LI+UIF....Pages 188-203
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism....Pages 204-219
Decentralized Delimited Release....Pages 220-237
Cost Analysis of Concurrent OO Programs....Pages 238-254
Static Object Race Detection....Pages 255-271
Soundness of Data Flow Analyses for Weak Memory Models....Pages 272-288
Towards a General Theory of Barbs, Contexts and Labels....Pages 289-304
Computation-by-Interaction with Effects....Pages 305-321
Towards a Certified Petri Net Model-Checker....Pages 322-336
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy....Pages 337-352
A Proof Pearl with the Fan Theorem and Bar Induction....Pages 353-368
A Semantics for Context-Sensitive Reduction Semantics....Pages 369-383
Back Matter....Pages -