Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: APLAS 2017
• Further Information: Note: Bor-Yuh Evan Chang (ed.).
• Editors: Chang, Bor-Yuh Evan
• Other Names: APLAS (Symposium), 15th
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xix, 555 pages), illustrations
• Subjects: 005.13; Computer science; Programming languages (Electronic computers) -- Congresses; Computer programming -- Congresses; Computer programming; Programming languages (Electronic computers); Computers -- Programming -- General; Computers -- Computer Science; Computers -- General; Computers -- Hardware -- Handheld Devices; Computers -- Hardware -- General; Computer programming / software development; Computer science; Information technology: general issues; Systems analysis & design; Computer hardware; Information theory; Computer industry; Computer system performance; Computer hardware; Computers -- Programming Languages -- General; Programming & scripting languages: general; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319712376; 3319712373
• Related ISBNs: 9783319712369; 3319712365
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed November 29, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.