Skip to main content
  • Conference proceedings
  • © 2010

Programming Languages and Systems

8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Editors:

  • Up to date results

  • Fast conference proceedings

  • State-of-the-art report

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

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (30 papers)

  1. Front Matter

  2. Invited Talks

    1. A Calculus for Hybrid CSP

      • Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou et al.
      Pages 1-15
  3. Session 1

    1. Typechecking Higher-Order Security Libraries

      • Karthik Bhargavan, Cédric Fournet, Nataliya Guts
      Pages 47-62
    2. Towards Deriving Type Systems and Implementations for Coroutines

      • Konrad Anton, Peter Thiemann
      Pages 63-79
    3. Liberal Typing for Functional Logic Programs

      • Francisco López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
      Pages 80-96
  4. Session 2

    1. A Provably Correct Stackless Intermediate Representation for Java Bytecode

      • Delphine Demange, Thomas Jensen, David Pichardie
      Pages 97-113
    2. An Interactive Tool for Analyzing Embedded SQL Queries

      • Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene
      Pages 131-138
  5. Session 3

    1. Simple and Precise Widenings for H-Polyhedra

      • Axel Simon, Liqian Chen
      Pages 139-155
    2. Metric Spaces and Termination Analyses

      • Aziem Chawdhary, Hongseok Yang
      Pages 156-171
  6. Session 4

    1. Interprocedural Control Flow Reconstruction

      • Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl
      Pages 188-203
    2. Data Structure Fusion

      • Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv
      Pages 204-221
  7. Session 5

    1. Categorical Descriptional Composition

      • Shin-ya Katsumata
      Pages 222-238
    2. Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras

      • Xiao-cong Zhou, Yong-ji Li, Wen-jun Li, Hai-yan Qiao, Zhong-mei Shu
      Pages 239-254
    3. Context-Preserving XQuery Fusion

      • Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
      Pages 255-270
  8. Session 6

    1. Index-Compact Garbage Collection

      • Liangliang Tong, Francis C. M. Lau
      Pages 271-286

Other Volumes

  1. Programming Languages and Systems

About this book

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

Keywords

  • APL
  • Constraint
  • LA
  • derivation
  • design
  • programming
  • programming language
  • verification

Editors and Affiliations

  • Dept. of Computer Science and Engineering, Waseda University, Tokyo, Japan

    Kazunori Ueda

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions