1. APLAS 2003: Beijing, China

@proceedings{DBLP:conf/aplas/2003,
  editor    = {Atsushi Ohori},
  title     = {Programming Languages and Systems, First Asian Symposium, APLAS
               2003, Beijing, China, November 27-29, 2003, Proceedings},
  booktitle = {APLAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2895},
  year      = {2003},
  isbn      = {3-540-20536-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Wen-tsun Wu:
  On a Method of Global Optimization. 1
  
• Xiaoju Dong, Yuxi Fu:
  Observing Asymmetry and Mismatch. 2-19
  
• Qin Ma, Luc Maranget:
  Expressive Synchronization Types for Inheritance in the Join Calculus. 20-36
  
• Fabio Gadducci:
  Term Graph Rewriting for the pi-Calculus. 37-54
  
• Naoki Kobayashi:
  Useless Code Elimination and Programm Slicing for the Pi-Calculus. 55-72
  
• Tetsuo Ida, Mircea Marin, Hidekazu Takahashi:
  Constraint Functional Logic Programming for Origami Construction. 73-88
  
• Dengping Zhu, Hongwei Xi:
  A Typeful and Tagless Representation for XML Documents. 89-104
  
• Hidehiko Masuhara, Kazunori Kawauchi:
  Dataflow Pointcut in Aspect-Oriented Programming. 105-121
  
• Hugh Anderson, Siau-Cheng Khoo:
  Affine-Based Size-Change Termination. 122-140
  
• D. V. Ravindra:
  Using Locality of Flow in Dataflow Analyses. 141-158
  
• Joonseon Ahn, Yong Jin Kwon:
  A Differential Fixpoint Evaluation Framework for Non-distributive Systems. 159-175
  
• Thomas A. Henzinger:
  Model Checking: From Hardware to Software. 176-177
  
• Koji Okuma, Yasuhiko Minamide:
  Executing Verified Compiler Specification. 178-194
  
• Antoine Galland, Mathieu Baudet:
  Controlling and Optimizing the Usage of One Resource. 195-211
  
• Kim Marriott, Peter J. Stuckey, Martin Sulzmann:
  Resource Usage Verification. 212-229
  
• Sunae Seo, Hongseok Yang, Kwangkeun Yi:
  Automatic Construction of Hoare Proofs from Abstract Interpretation Results. 230-245
  
• Robert Glück, Masahiko Kawabe:
  A Program Inverter for a Functional Language with Equality and Constructors. 246-264
  
• Shin-Cheng Mu, Richard S. Bird:
  Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. 265-282
  
• Vincent Simonet:
  Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. 283-302
  
• Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
  Continutation Semantics for Parallel Haskell Dialects. 303-321
  
• Guangyuan Li, Zhisong Tang:
  Translating a Continuous-Time Temporal Logic into Timed Automata. 322-338
  
• Magnus Carlsson, Johan Nordlander, Dick Kieburtz:
  The Semantic Layers of Timber. 339-356
  
• Simon L. Peyton Jones, Ralf Lämmel:
  Scrap Your Boilerplate. 357
  
• Susumu Nishimura:
  Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. 358-375
  
• Jun Furuse:
  Extensional Polymorphism by Flow Graph Dispatching. 376-393
  
• Dae-Hwan Kim, Hyuk-Jae Lee:
  Register Allocation Based on a Reference Flow Analysis. 394-409
  
• Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa:
  Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. 410-426