APLAS 2007: Singapore

Zhong Shao (Ed.): Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings. Lecture Notes in Computer Science 4807 Springer 2007, ISBN 978-3-540-76636-0 BibTeX

Invited Talk 1

Vijay A. Saraswat:
X10: Concurrent Programming for Modern Architectures. 1
Electronic Edition (link) BibTeX

Session 1

Paritosh Shroff, Christian Skalka, Scott F. Smith:
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. 2-18
Electronic Edition (link) BibTeX
Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv:
Local Reasoning for Storable Locks and Threads. 19-37
Electronic Edition (link) BibTeX
Olaf Chitil, Frank Huch:
Monadic, Prompt Lazy Assertions in Haskell. 38-53
Electronic Edition (link) BibTeX

Session 2

Burak Emir, Qin Ma, Martin Odersky:
Translation Correctness for First-Order Object-Oriented Pattern Matching. 54-70
Electronic Edition (link) BibTeX
Luc Bläser:
Persistent Oberon: A Programming Language with Integrated Persistence. 71-85
Electronic Edition (link) BibTeX
Dachuan Yu:
More Typed Assembly Languages for Confidentiality. 86-104
Electronic Edition (link) BibTeX

Session 3

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai:
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. 105-121
Electronic Edition (link) BibTeX
Bernd Braßel, Frank Huch:
On a Tighter Integration of Functional and Logic Programming. 122-138
Electronic Edition (link) BibTeX

Invited Talk 2

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine:
Scalable Simulation of Cellular Signaling Networks. 139-157
Electronic Edition (link) BibTeX

Session 4

Martin Berger, Nobuko Yoshida:
Timed, Distributed, Probabilistic, Typed Processes. 158-174
Electronic Edition (link) BibTeX
Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina:
A Probabilistic Applied Pi-Calculus. 175-190
Electronic Edition (link) BibTeX
Daisuke Kikuchi, Naoki Kobayashi:
Type-Based Verification of Correspondence Assertions for Communication Protocols. 191-205
Electronic Edition (link) BibTeX

Session 5

Atsushi Igarashi, Masashi Iwaki:
Deriving Compilers and Virtual Machines for a Multi-level Language. 206-221
Electronic Edition (link) BibTeX
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan:
Finally Tagless, Partially Evaluated. 222-238
Electronic Edition (link) BibTeX
Kenichi Asai, Yukiyoshi Kameyama:
Polymorphic Delimited Continuations. 239-254
Electronic Edition (link) BibTeX

Session 6

Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner:
Adjunct Elimination in Context Logic for Trees. 255-270
Electronic Edition (link) BibTeX
Stefano Berardi, Makoto Tatsuta:
Positive Arithmetic Without Exchange Is a Subclassical Logic. 271-285
Electronic Edition (link) BibTeX
Andreas Abel:
Mixed Inductive/Coinductive Types and Strong Normalization. 286-301
Electronic Edition (link) BibTeX

Invited Talk 3

Sriram K. Rajamani:
Static and Dynamic Analysis: Better Together. 302
Electronic Edition (link) BibTeX

Session 7

Neil D. Jones, René Rydhof Hansen:
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. 303-318
Electronic Edition (link) BibTeX
Jiu-Tao Nie, Xu Cheng:
An Efficient SSA-Based Algorithm for Complete Global Value Numbering. 319-334
Electronic Edition (link) BibTeX
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
A Systematic Approach to Probabilistic Pointer Analysis. 335-350
Electronic Edition (link) BibTeX

Session 8

Damien Pous:
Complete Lattices and Up-To Techniques. 351-366
Electronic Edition (link) BibTeX
Alwen Tiu:
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. 367-382
Electronic Edition (link) BibTeX
Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia:
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. 383-398
Electronic Edition (link) BibTeX

Session 9

Yoshihiko Kakutani:
Call-by-Name and Call-by-Value in Normal Modal Logic. 399-414
Electronic Edition (link) BibTeX
Daisuke Kimura:
Call-by-Value Is Dual to Call-by-Name, Extended. 415-430
Electronic Edition (link) BibTeX