Skip to main content
SpringerLink
Log in

Programming Languages and Systems

First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Atsushi Ohori

    1. School of Information Science, Japan Advanced Institute of Science and Technology, Tatsunokuchi, Ishikawa, Japan

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

Included in the following conference series:

Conference proceedings info: APLAS 2003.

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

    1. On a Method of Global Optimization

      • Wen-tsun Wu
      Pages 1-1

  4. Session 2

    1. Constraint Functional Logic Programming for Origami Construction

      • Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
      Pages 73-88

    2. A Typeful and Tagless Representation for XML Documents

      • Dengping Zhu, Hongwei Xi
      Pages 89-104

    3. Dataflow Pointcut in Aspect-Oriented Programming

      • Hidehiko Masuhara, Kazunori Kawauchi
      Pages 105-121

  5. Session 3

    1. Affine-Based Size-Change Termination

      • Hugh Anderson, Siau-Cheng Khoo
      Pages 122-140

    2. Using Locality of Flow in Dataflow Analyses

      • D V Ravindra
      Pages 141-158

    3. A Differential Fixpoint Evaluation Framework for Non-distributive Systems

      • Joonseon Ahn, Yong Jin Kwon
      Pages 159-175

  6. Invited Talk 2

    1. Model Checking: From Hardware to Software

      • Thomas A. Henzinger
      Pages 176-177

  7. Session 4

    1. Executing Verified Compiler Specification

      • Koji Okuma, Yasuhiko Minamide
      Pages 178-194

    2. Controlling and Optimizing the Usage of One Resource

      • Antoine Galland, Mathieu Baudet
      Pages 195-211

    3. Resource Usage Verification

      • Kim Marriott, Peter J. Stuckey, Martin Sulzmann
      Pages 212-229

    4. Automatic Construction of Hoare Proofs from Abstract Interpretation Results

      • Sunae Seo, Hongseok Yang, Kwangkeun Yi
      Pages 230-245
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the Asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the Asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United States and Europe.

Editors and Affiliations

  • School of Information Science, Japan Advanced Institute of Science and Technology, Tatsunokuchi, Ishikawa, Japan

    Atsushi Ohori

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation