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