Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27--29, 2003. Proceedings (Q1418486)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Dong, Xiaoju; Fu, Yuxi}, Observing asymmetry and mismatch., 2-19 [Zbl 1254.68075] \textit{Ma, Qin; Maranget, Luc}, Expressive synchronization types for inheritance in the join calculus., 20-36 [Zbl 1254.68081] \textit{Gadducci, Fabio}, Term graph rewriting for the \(\pi \)-calculus., 37-54 [Zbl 1254.68169] \textit{Kobayashi, Naoki}, Useless-code elimination and program slicing for the pi-calculus., 55-72 [Zbl 1254.68080] \textit{Ida, Tetsuo; Marin, Mircea; Takahashi, Hidekazu}, Constraint functional logic programming for origami construction., 73-88 [Zbl 1254.68079] \textit{Anderson, Hugh; Khoo, Siau-Cheng}, Affine-based size-change termination., 122-140 [Zbl 1254.68070] \textit{Ravindra, D. V.}, Using locality of flow in dataflow analyses., 141-158 [Zbl 1254.68086] \textit{Ahn, Joonseon; Kwon, Yong Jin}, A differential fixpoint evaluation framework for non-distributive systems., 159-175 [Zbl 1254.68069] \textit{Henzinger, Thomas A.}, Model checking: from hardware to software., 176-177 [Zbl 1254.68078] \textit{Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin}, Resource usage verification., 212-229 [Zbl 1254.68082] \textit{Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun}, Automatic construction of Hoare proofs from abstract interpretation results., 230-245 [Zbl 1254.68088] \textit{Glück, Robert; Kawabe, Masahiko}, A program inverter for a functional language with equality and constructors., 246-264 [Zbl 1254.68057] \textit{Mu, Shin-Cheng; Bird, Richard}, Rebuilding a tree from its traversals: a case study of program inversion, 265-282 [Zbl 1254.68083] \textit{Hidalgo-Herrero, Mercedes; Ortega-Mallén, Yolanda}, Continuation semantics for parallel Haskell dialects, 303-321 [Zbl 1254.68058] \textit{Li, Guangyuan; Tang, Zhisong}, Translating a continuous-time temporal logic into timed automata., 322-338 [Zbl 1254.03026] \textit{Carlsson, Magnus; Nordlander, Johan; Kieburtz, Dick}, The semantic layers of Timber., 339-356 [Zbl 1254.68056] \textit{Nishimura, Susumu}, Correctness of a higher-order removal transformation through a relational reasoning., 358-375 [Zbl 1254.68085] \textit{Furuse, Jun}, Extensional polymorphism by flow graph dispatching., 376-393 [Zbl 1254.68076]