+612 9045 4394
 
CHECKOUT
Programming Languages and Systems : First Asian Symposium, Aplas 2003, Beijing, China, November 27-29, 2003, Proceedings - Atsushi Ohori

Programming Languages and Systems

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

By: Atsushi Ohori (Editor)

Paperback Published: 12th November 2003
ISBN: 9783540205364
Number Of Pages: 434

Share This Book:

Paperback

$135.50
or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

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

On a Method of Global Optimizationp. 1
Observing Asymmetry and Mismatchp. 2
Expressive Synchronization Types for Inheritance in the Join Calculusp. 20
Term Graph Rewriting for the [pi]-Calculusp. 37
Useless-Code Elimination and Program Slicing for the Pi-Calculusp. 55
Constraint Functional Logic Programming for Origami Constructionp. 73
A Typeful and Tagless Representation for XML Documentsp. 89
Dataflow Pointcut in Aspect-Oriented Programmingp. 105
Affine-Based Size-Change Terminationp. 122
Using Locality of Flow in Dataflow Analysesp. 141
A Differential Fixpoint Evaluation Framework for Non-distributive Systemsp. 159
Model Checking: From Hardware to Softwarep. 176
Executing Verified Compiler Specificationp. 178
Controlling and Optimizing the Usage of One Resourcep. 195
Resource Usage Verificationp. 212
Automatic Construction of Hoare Proofs from Abstract Interpretation Resultsp. 230
A Program Inverter for a Functional Language with Equality and Constructorsp. 246
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversionp. 265
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solverp. 283
Continuation Semantics for Parallel Haskell Dialectsp. 303
Translating a Continuous-Time Temporal Logic into Timed Automatap. 322
The Semantic Layers of Timberp. 339
Scrap Your Boilerplatep. 357
Correctness of a Higher-Order Removal Transformation through a Relational Reasoningp. 358
Extensional Polymorphism by Flow Graph Dispatchingp. 376
Register Allocation Based on a Reference Flow Analysisp. 394
Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuationsp. 410
Author Indexp. 421
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540205364
ISBN-10: 3540205365
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 434
Published: 12th November 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.62