Stop the war!
Остановите войну!
for scientists:
default search action
16th APLAS 2018: Wellington, New Zealand
- Sukyoung Ryu:
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4
Types
- Satoshi Egi, Yuichi Nishiwaki:
Non-linear Pattern Matching with Backtracking for Non-free Data Types. 3-23 - Pablo Barenbaum, Gonzalo Ciruelos:
Factoring Derivation Spaces via Intersection Types. 24-44 - Beniamino Accattoli, Giulio Guerrieri:
Types of Fireballs. 45-66
Program Analysis
- Li Sui, Jens Dietrich, Michael Emery, Shawn Rasheed, Amjed Tahir:
On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation. 69-88 - Xuan Bach Le, Aquinas Hobor, Anthony W. Lin:
Complexity Analysis of Tree Share Structure. 89-108 - Thibault Suzanne, Antoine Miné:
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. 109-128
Tools
- Youssef El Bakouny, Dani Mezher:
Scallina: Translating Verified Programs from Coq to Scala. 131-145 - Adrien Champion, Naoki Kobayashi, Ryosuke Sato:
HoIce: An ICE-Based Non-linear Horn Clause Solver. 146-156 - Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka:
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. 157-165 - Timothy Jones, Michael Homer:
The Practice of a Compositional Functional Programming Language. 166-177
Functional Programs and Probabilistic Programs
- Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee:
New Approaches for Almost-Sure Termination of Probabilistic Programs. 181-201 - Ulrich Schöpp:
Particle-Style Geometry of Interaction as a Module System. 202-222 - Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada:
Automated Synthesis of Functional Programs with Auxiliary Functions. 223-241
Verification
- Junpeng Zha, Xinyu Feng, Lei Qiao:
Modular Verification of SPARCv8 Code. 245-263 - Fabian Kunze, Gert Smolka, Yannick Forster:
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. 264-283 - Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun:
Automated Modular Verification for Relaxed Communication Protocols. 284-305
Logic
- Taro Sekiyama, Kohei Suenaga:
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. 309-328 - James Brotherston, Max I. Kanovich:
On the Complexity of Pointer Arithmetic in Separation Logic. 329-349 - Quang Loc Le, Mengda He:
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. 350-372
Continuation and Model Checking
- Urara Yamada, Kenichi Asai:
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. 375-393 - Depeng Liu, Bow-Yaw Wang, Lijun Zhang:
Model Checking Differentially Private Properties. 394-414 - Daniel Hillerström, Sam Lindley:
Shallow Effect Handlers. 415-435
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.