Advertisement

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
  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

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace