دانلود کتاب Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

فهرست مطالب :

Front Matter....Pages -
Brzozowski’s and Up-To Algorithms for Must Testing....Pages 1-16
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes....Pages 17-32
Model Checking Dynamic Pushdown Networks....Pages 33-49
Robustness Analysis of Finite Precision Implementations....Pages 50-57
A Hoare Logic for SIMT Programs....Pages 58-73
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist....Pages 74-89
Separation Logic Modulo Theories....Pages 90-106
Bi-Abduction with Pure Properties for Specification Inference....Pages 107-123
Laws of Programming for References....Pages 124-139
Dynamic Alias Protection with Aliasing Contracts....Pages 140-155
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance....Pages 156-171
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle....Pages 172-175
Secure Compilation of Object-Oriented Components to Protected Module Architectures....Pages 176-191
Generalized Quantitative Analysis of Metric Transition Systems....Pages 192-208
GDSL: A Universal Toolkit for Giving Semantics to Machine Language....Pages 209-216
Paragon for Practical Programming with Information-Flow Control....Pages 217-232
ThisJava : An Extension of Java with Exact Types....Pages 233-240
Semantics of Probabilistic Programs: A Weak Limit Approach....Pages 241-256
Ambivalent Types for Principal Type Inference with GADTs....Pages 257-272
Temporal Specification Mining for Anomaly Analysis....Pages 273-289
Automated Inference of Library Specifications for Source-Sink Property Verification....Pages 290-306
The Proof Assistant as an Integrated Development Environment....Pages 307-314
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries....Pages 315-332
Environmental Bisimulations for Delimited-Control Operators....Pages 333-348
On Bar Recursion and Choice in a Classical Setting....Pages 349-364
Proofs, Upside Down....Pages 365-380
Back Matter....Pages -