APLAS 2010: Shanghai, China
Kazunori Ueda (Ed.): Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 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
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
- Martin Kero, Pawel Pietrzak, Johan Nordlander: Live Heap Space Bounds for Real-Time Systems. 287-303
Session 7
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team