Skip to main content
SpringerLink
Log in

Programming Languages and Systems

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Kazunori Ueda

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: APLAS 2010.

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 (30 papers)

  1. Front Matter

    Download chapter PDF

  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

    2. Foundations of Quantum Programming (Extended Abstract)

      • Mingsheng Ying
      Pages 16-20

    3. From a Verified Kernel towards Verified Systems

      • Gerwin Klein
      Pages 21-33

    4. Reasoning about Computations Using Two-Levels of Logic

      • Dale Miller
      Pages 34-46

  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. JNI Light: An Operational Model for the Core JNI

      • Gang Tan
      Pages 114-130

    3. 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. Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics

      • Jan Hoffmann, Martin Hofmann
      Pages 172-187

    2. Interprocedural Control Flow Reconstruction

      • Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl
      Pages 188-203

    3. 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
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

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.

Editors and Affiliations

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

    Kazunori Ueda

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation