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

  1. Front Matter
  2. Invited Talk 1

    1. Session 1

      1. Paritosh Shroff, Christian Skalka, Scott F. Smith
        Pages 2-18
      2. Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv
        Pages 19-37
      3. Olaf Chitil, Frank Huch
        Pages 38-53
    2. Session 2

    3. Session 3

      1. Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
        Pages 105-121
      2. Bernd Braßel, Frank Huch
        Pages 122-138
  3. Invited Talk 2

    1. Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
      Pages 139-157
    2. Session 4

      1. Martin Berger, Nobuko Yoshida
        Pages 158-174
      2. Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
        Pages 175-190
    3. Session 5

      1. Atsushi Igarashi, Masashi Iwaki
        Pages 206-221
      2. Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
        Pages 222-238
      3. Kenichi Asai, Yukiyoshi Kameyama
        Pages 239-254
    4. Session 6

      1. Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
        Pages 255-270
      2. 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