Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

Programming Languages and Systems

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

Editors:

  1. Kwangkeun Yi

    1. Seoul National University, Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): APLAS: Asian Symposium on Programming Languages and Systems

Conference proceedings info: APLAS 2005.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (27 papers)

  1. Front Matter

    PDF

  2. Invited Talk

    1. Type Systems for XML

      • Haruo Hosoya
      Pages 1-1

    2. Session 1

      1. The Essence of Dataflow Programming
        • Tarmo Uustalu, Varmo Vene
        Pages 2-18
      2. Data Refinement with Low-Level Pointer Operations
        • Ivana Mijajlović, Hongseok Yang
        Pages 19-36
      3. A Simple Semantics for Polymorphic Recursion
        • William L. Harrison
        Pages 37-51
      4. Symbolic Execution with Separation Logic
        • Josh Berdine, Cristiano Calcagno, Peter W. O’Hearn
        Pages 52-68

    3. Session 2

      1. An Abstract Interpretation Perspective on Linear vs. Branching Time
        • Francesco Ranzato, Francesco Tapparo
        Pages 69-85
      3. Using Datalog with Binary Decision Diagrams for Program Analysis
        • John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam
        Pages 97-118
      4. Loop Invariants on Demand
        • K. Rustan M. Leino, Francesco Logozzo
        Pages 119-134

  3. Invited Talk

    2. Session 3

      1. Reflection Analysis for Java
        • Benjamin Livshits, John Whaley, Monica S. Lam
        Pages 139-160
      2. Lightweight Family Polymorphism
        • Atsushi Igarashi, Chieri Saito, Mirko Viroli
        Pages 161-177
      4. Race Conditions in Message Sequence Charts
        • Chien-An Chen, Sara Kalvala, Jane Sinclair
        Pages 195-211

  4. Invited Talk

    1. A Next-Generation Platform for Analyzing Executables

      • T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum
      Pages 212-229

    2. Session 4

      1. Calculating Polynomial Runtime Properties
        • Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
        Pages 230-246
      2. Resource Bound Certification for a Tail-Recursive Virtual Machine
        • Silvano Dal Zilio, Régis Gascon
        Pages 247-263
      3. A Path Sensitive Type System for Resource Usage Verification of C Like Languages
        • Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
        Pages 264-280
      4. Termination Analysis of Higher-Order Functional Programs
        • Damien Sereni, Neil D. Jones
        Pages 281-297
Back to top

Other Volumes

  1. Programming Languages and Systems

Back to top

Keywords

Back to top

Editors and Affiliations

  • Seoul National University, Korea

    Kwangkeun Yi

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation