default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2010: Shanghai, China
- Kazunori Ueda:
Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings. Lecture Notes in Computer Science 6461, Springer 2010, ISBN 978-3-642-17163-5
Invited Talks
- Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou:
A Calculus for Hybrid CSP. 1-15 - Mingsheng Ying
:
Foundations of Quantum Programming (Extended Abstract). 16-20 - Gerwin Klein:
From a Verified Kernel towards Verified Systems. 21-33 - Dale Miller:
Reasoning about Computations Using Two-Levels of Logic. 34-46
Session 1
- Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts:
Typechecking Higher-Order Security Libraries. 47-62 - Konrad Anton, Peter Thiemann:
Towards Deriving Type Systems and Implementations for Coroutines. 63-79 - Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
Liberal Typing for Functional Logic Programs. 80-96
Session 2
- Delphine Demange, Thomas P. Jensen, David Pichardie:
A Provably Correct Stackless Intermediate Representation for Java Bytecode. 97-113 - Gang Tan:
JNI Light: An Operational Model for the Core JNI. 114-130 - Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene:
An Interactive Tool for Analyzing Embedded SQL Queries. 131-138
Session 3
- Axel Simon, Liqian Chen:
Simple and Precise Widenings for H-Polyhedra. 139-155 - Aziem Chawdhary, Hongseok Yang:
Metric Spaces and Termination Analyses. 156-171
Session 4
- Jan Hoffmann, Martin Hofmann:
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. 172-187 - Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl:
Interprocedural Control Flow Reconstruction. 188-203 - Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Data Structure Fusion. 204-221
Session 5
- Shin-ya Katsumata:
Categorical Descriptional Composition. 222-238 - Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu:
Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. 239-254 - Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara:
Context-Preserving XQuery Fusion. 255-270
Session 6
- Liangliang Tong, Francis C. M. Lau:
Index-Compact Garbage Collection. 271-286 - Martin Kero, Pawel Pietrzak, Johan Nordlander:
Live Heap Space Bounds for Real-Time Systems. 287-303
Session 7
- Bart Jacobs, Jan Smans, Frank Piessens:
A Quick Tour of the VeriFast Program Verifier. 304-311 - Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi:
Verification of Tree-Processing Programs via Higher-Order Model Checking. 312-327 - Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. 328-343
Session 8
- Jianzhou Zhao, Qi Zhang, Steve Zdancewic:
Relational Parametricity for a Polymorphic Linear Lambda Calculus. 344-359 - Jacques Garrigue:
A Certified Implementation of ML with Structural Polymorphism. 360-375 - Ugo Dal Lago, Ulrich Schöpp:
Type Inference for Sublinear Space Functional Programming. 376-391
Session 9
- Edsko de Vries, Vasileios Koutavas, Matthew Hennessy:
Liveness of Communicating Transactions (Extended Abstract). 392-407 - Chaodong He:
Model Independent Order Relations for Processes. 408-423 - Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. 424-438
Tutorial
- Aquinas Hobor, Robert Dockins, Andrew W. Appel:
A Logical Mix of Approximation and Separation. 439-454
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 2024-12-11 20:32 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:
