default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th APLAS 2020: Fukuoka, Japan
- Bruno C. d. S. Oliveira
:
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings. Lecture Notes in Computer Science 12470, Springer 2020, ISBN 978-3-030-64436-9
Program Analysis and Verification
- Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro:
A Set-Based Context Model for Program Analysis. 3-24 - Martín Ceresa, Felipe Gorostiaga, César Sánchez:
Declarative Stream Runtime Verification (hLola). 25-43 - Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Atomicity Requirements for Smart Contracts. 44-64
Types
- Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall:
Neural Networks, Secure by Construction - An Exploration of Refinement Types. 67-85 - Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada:
A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. 86-104 - Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara:
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. 105-124 - Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. 125-144
Semantics
- Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab:
An Abstract Machine for Strong Call by Value. 147-166 - Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev:
Certified Semantics for Relational Programming. 167-185 - Tarmo Uustalu, Niels F. W. Voorneveld:
Algebraic and Coalgebraic Perspectives on Interaction Laws. 186-205
Program Generation, Transactions and Automation
- Árpád Perényi, Jan Midtgaard:
Stack-Driven Program Generation of WebAssembly. 209-230 - Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy:
Banyan: Coordination-Free Distributed Transactions over Mergeable Types. 231-250 - Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou:
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? 251-269
Synthesis and Program Transformation
- Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider:
Parameterized Synthesis with Safety Properties. 273-292 - Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev:
Relational Synthesis for Pattern Matching. 293-310 - Dominic Steinhöfel:
REFINITY to Model and Prove Program Transformation Rules. 311-319
Debugging, Profiling and Constraint Solving
- Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
A Counterexample-Guided Debugger for Non-recursive Datalog. 323-342 - Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini:
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. 343-363 - Andrea Rosà, Walter Binder:
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine. 364-372
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.
last updated on 2025-12-14 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
