Skip to main content
  • Conference proceedings
  • © 2003

Programming Languages and Systems

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

Editors:

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

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

Conference proceedings info: APLAS 2003.

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

  1. Front Matter

  2. Invited Talk 1

    1. On a Method of Global Optimization

      • Wen-tsun Wu
      Pages 1-1
  3. 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
  4. 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
  5. Invited Talk 2

    1. Model Checking: From Hardware to Software

      • Thomas A. Henzinger
      Pages 176-177
  6. 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

Other Volumes

  1. Programming Languages and Systems

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.

Keywords

  • APL
  • Aspect-oriented programming
  • Constraint
  • Haskell
  • OVal
  • automata
  • formal methods
  • inheritance
  • model checking
  • polymorphism
  • program analysis
  • programming language
  • programming languages
  • type systems
  • verification

Editors and Affiliations

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

    Atsushi Ohori

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