Programming Languages and Systems

5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

  • Editors
  • Zhong Shao
Conference proceedings APLAS 2007

DOI: 10.1007/978-3-540-76637-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4807)

Table of contents (28 papers)

  1. Front Matter
  2. Invited Talk 1

    1. Session 1

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

    3. Session 3

      1. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
        Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
        Pages 105-121
      2. On a Tighter Integration of Functional and Logic Programming
        Bernd Braßel, Frank Huch
        Pages 122-138
  3. Invited Talk 2

    1. Scalable Simulation of Cellular Signaling Networks
      Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
      Pages 139-157
    2. Session 4

      1. Timed, Distributed, Probabilistic, Typed Processes
        Martin Berger, Nobuko Yoshida
        Pages 158-174
      2. A Probabilistic Applied Pi–Calculus
        Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
        Pages 175-190
    3. Session 5

      1. Deriving Compilers and Virtual Machines for a Multi-level Language
        Atsushi Igarashi, Masashi Iwaki
        Pages 206-221
      2. Finally Tagless, Partially Evaluated
        Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
        Pages 222-238
      3. Polymorphic Delimited Continuations
        Kenichi Asai, Yukiyoshi Kameyama
        Pages 239-254
    4. Session 6

      1. Adjunct Elimination in Context Logic for Trees
        Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
        Pages 255-270
      2. Positive Arithmetic Without Exchange Is a Subclassical Logic
        Stefano Berardi, Makoto Tatsuta
        Pages 271-285

About these proceedings

Keywords

APL compiler optimization programming programming language security semantics verification

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-76636-0
  • Online ISBN 978-3-540-76637-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349