Programming Languages and Systems

Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

  • Kwangkeun Yi
Conference proceedings APLAS 2005

DOI: 10.1007/11575467

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Haruo Hosoya
      Pages 1-1
    2. Session 1

      1. Tarmo Uustalu, Varmo Vene
        Pages 2-18
      2. Ivana Mijajlović, Hongseok Yang
        Pages 19-36
      3. William L. Harrison
        Pages 37-51
      4. Josh Berdine, Cristiano Calcagno, Peter W. O’Hearn
        Pages 52-68
    3. Session 2

      1. Francesco Ranzato, Francesco Tapparo
        Pages 69-85
      2. John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam
        Pages 97-118
      3. K. Rustan M. Leino, Francesco Logozzo
        Pages 119-134
    4. Session 3

      1. Benjamin Livshits, John Whaley, Monica S. Lam
        Pages 139-160
      2. Atsushi Igarashi, Chieri Saito, Mirko Viroli
        Pages 161-177
      3. Chien-An Chen, Sara Kalvala, Jane Sinclair
        Pages 195-211
    5. T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum
      Pages 212-229
    6. Session 4

      1. Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
        Pages 230-246
      2. Silvano Dal Zilio, Régis Gascon
        Pages 247-263
      3. Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
        Pages 264-280
      4. Damien Sereni, Neil D. Jones
        Pages 281-297

About these proceedings

Keywords

Java optimization programming programming language real-time security semantics verification

Editors and affiliations

  • Kwangkeun Yi
    • 1
  1. 1.Seoul National UniversityKorea

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29735-2
  • Online ISBN 978-3-540-32247-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349