APLAS 2007

28 papers

1. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics · Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
2. A Probabilistic Applied Pi-Calculus · Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
3. A Systematic Approach to Probabilistic Pointer Analysis · Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
4. A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract · Alwen Tiu
5. Adjunct Elimination in Context Logic for Trees · Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
6. An Efficient SSA-Based Algorithm for Complete Global Value Numbering · Jiu-Tao Nie, Xu Cheng
7. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence · Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
8. Call-by-Name and Call-by-Value in Normal Modal Logic · Yoshihiko Kakutani
9. Call-by-Value Is Dual to Call-by-Name, Extended · Daisuke Kimura
10. Complete Lattices and Up-To Techniques · Damien Pous
11. Deriving Compilers and Virtual Machines for a Multi-level Language · Atsushi Igarashi, Masashi Iwaki
12. Finally Tagless, Partially Evaluated · Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
13. Local Reasoning for Storable Locks and Threads · Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv
14. Mixed Inductive/Coinductive Types and Strong Normalization · Andreas Abel
15. Monadic, Prompt Lazy Assertions in Haskell · Olaf Chitil, Frank Huch
16. More Typed Assembly Languages for Confidentiality · Dachuan Yu
17. On a Tighter Integration of Functional and Logic Programming · Bernd Braßel, Frank Huch
18. Persistent Oberon: A Programming Language with Integrated Persistence · Luc Bläser
19. Polymorphic Delimited Continuations · Kenichi Asai, Yukiyoshi Kameyama
20. Positive Arithmetic Without Exchange Is a Subclassical Logic · Stefano Berardi, Makoto Tatsuta
21. Scalable Simulation of Cellular Signaling Networks · Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
22. Static and Dynamic Analysis: Better Together · Sriram K. Rajamani
23. The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification · Paritosh Shroff, Christian Skalka, Scott F. Smith
24. The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer · Neil D. Jones, René Rydhof Hansen
25. Timed, Distributed, Probabilistic, Typed Processes · Martin Berger, Nobuko Yoshida
26. Translation Correctness for First-Order Object-Oriented Pattern Matching · Burak Emir, Qin Ma, Martin Odersky
27. Type-Based Verification of Correspondence Assertions for Communication Protocols · Daisuke Kikuchi, Naoki Kobayashi
28. X10: Concurrent Programming for Modern Architectures · Vijay A. Saraswat