Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /
Autor Corporativo: | |
---|---|
Otros Autores: | |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Programming and Software Engineering ;
10695 |
Materias: |
Tabla de Contenidos:
- Invited Contributions
- Programming by Examples: PL meets ML
- Synthesizing SystemC Code from Delay Hybrid CSP
- Security
- Taming Message-passing Communication in Compositional Reasoning about Confidentiality
- Capabilities for Java: Secure Access to Resources
- Enforcing Programming Guidelines with Region-Types and Effects
- Automatically generating secure wrappers for SGX enclaves from separation logic specifications
- Heap and Equivalence Reasoning
- Black-box equivalence checking across compiler optimizations
- Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects
- Decision Procedure for Entailment of Symbolic Heaps with Arrays
- Bringing order to the separation logic jungle
- Concurrency and Verification
- Programming and proving with classical types
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous
- Verified Root-Balanced Trees
- Safety and Liveness of MCS Lock - Layer by Layer
- Domain-Specific Languages
- Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
- Efficient Functional Reactive Programming through Incremental Behaviors
- Implementing Algebraic Effects in C - Monads for Free in C
- Sound and Efficient Language-Integrated Query: Maintaining the ORDER
- Semantics
- A Computational Interpretation of Context-Free Expressions
- Partiality and container monads
- The Negligible and Yet Subtle Cost of Pattern Matching
- A lambda calculus for density matrices wth classical and probabilistic controls
- Numerical Reasoning
- Compact Difference Bound Matrices
- Sharper and Simpler Nonlinear Interpolants for Program Verification
- A Nonstandard Functional Programming Language
- Counterexample-Guided Bit-Precision Selection.