Skip to main content
SpringerLink
Log in

Programming Languages and Systems

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

  • Conference proceedings
  • © 2005

Overview

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)

Included in the following conference series:

Conference proceedings info: APLAS 2005.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter 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
      2. The Parallel Implementation of the Astrée Static Analyzer
        • David Monniaux
        Pages 86-96
      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

    1. Integrating Physical Systems in the Static Analysis of Embedded Control Software

      • Patrick Cousot
      Pages 135-138

    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
      3. A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
        • Walter Binder
        Pages 178-194
      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

Keywords

Editors and Affiliations

  • Seoul National University, Korea

    Kwangkeun Yi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation