Advertisement

Programming Languages and Systems

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

  • Kwangkeun Yi

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
  3. Invited Talk

    1. 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
  4. Invited Talk

    1. T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum
      Pages 212-229
    2. 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
    3. Session 5

      1. Aditya Kanade, Uday Khedker, Amitabha Sanyal
        Pages 298-314
      2. Fernando Magno Quintão Pereira, Jens Palsberg
        Pages 315-329
      3. Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
        Pages 330-346
      4. Xavier Rival
        Pages 347-363
    4. Session 6

  5. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering