Conferences in DBLP

Asian Symposium on Programming Languages and Systems (aplas)
2003 (conf/aplas/2003)

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