default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st APLAS 2003: Beijing, China
- Atsushi Ohori:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
