1. APLAS 2003:
Beijing, China
Atsushi Ohori (Ed.):
Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings.
Lecture Notes in Computer Science 2895 Springer 2003, ISBN 3-540-20536-5 
- 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
Last update Mon May 20 22:27:07 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
