| 000 | 04577nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-71237-6 | ||
| 003 | DE-He213 | ||
| 005 | 20240730171327.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 171118s2017 sz | s |||| 0|eng d | ||
| 020 |
_a9783319712376 _9978-3-319-71237-6 |
||
| 024 | 7 |
_a10.1007/978-3-319-71237-6 _2doi |
|
| 050 | 4 | _aQA76.76.C65 | |
| 072 | 7 |
_aUMC _2bicssc |
|
| 072 | 7 |
_aCOM010000 _2bisacsh |
|
| 072 | 7 |
_aUMC _2thema |
|
| 082 | 0 | 4 |
_a005.45 _223 |
| 245 | 1 | 0 |
_aProgramming Languages and Systems _h[electronic resource] : _b15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / _cedited by Bor-Yuh Evan Chang. |
| 250 | _a1st ed. 2017. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
| 300 |
_aXIX, 555 p. 116 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10695 |
|
| 505 | 0 | _aInvited 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. | |
| 520 | _aThis book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. . | ||
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aComputer programming. _94169 |
|
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aComputers. _98172 |
|
| 650 | 0 |
_aProfessions. _984435 |
|
| 650 | 0 |
_aElectronic digital computers _xEvaluation. _921495 |
|
| 650 | 1 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aProgramming Techniques. _998064 |
| 650 | 2 | 4 |
_aTheory of Computation. _998065 |
| 650 | 2 | 4 |
_aThe Computing Profession. _984437 |
| 650 | 2 | 4 |
_aSystem Performance and Evaluation. _932047 |
| 650 | 2 | 4 |
_aComputer Hardware. _933420 |
| 700 | 1 |
_aChang, Bor-Yuh Evan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _998068 |
|
| 710 | 2 |
_aSpringerLink (Online service) _998073 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319712369 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319712383 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10695 _998074 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-71237-6 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c87517 _d87517 |
||