Programming Languages and Systems

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

  • Kwangkeun Yi
Conference proceedings APLAS 2005
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

  • DOI https://doi.org/10.1007/11575467
  • 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
  • About this book