The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Koji Kagawa
    Shrinkable Polymorphic Variants. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:1-15 [Conf]
  2. Martin Sulzmann
    An Overview of the Chameleon System. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:16-30 [Conf]
  3. Jacques Garrigue
    Relaxing the Value Restriction. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:31-45 [Conf]
  4. Hideya Iwasaki
    Pruning Unnecessary Computations using Improving Sequences. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:46-57 [Conf]
  5. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
    Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:58-73 [Conf]
  6. Jan-Li Lin
    Folds with Dependent Types. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:74-83 [Conf]
  7. Wei Li
    What Is the Right Logical Framework for Evolution of Knowledge. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:84-94 [Conf]
  8. Guoyong, Peimin Deng, Jiali Feng
    Specification based on Backus-Naur Formalism and Programming Language. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:95-101 [Conf]
  9. Javier Esparza Peidro, Antonio Calero Monteagudo, Jordi Bataller, Francesc D. Muñoz-Escoí, Hendrik Decker, José M. Bernabéu-Aubán
    COPLA* - a Middleware for Distributed Databases. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:102-113 [Conf]
  10. Tetsuo Ida
    Functional Logic Origami Programming. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:114- [Conf]
  11. Kazunori Ueda
    Programming with Logical Links. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:115-126 [Conf]
  12. Atsushi Ohori, Kiyoshi Yamatodani
    An Interoperable Calculus for External Object Access. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:127- [Conf]
  13. Kwangkeun Yi, Hyunjun Eo
    Static Extensionality Checking for Lambda-Definable Functions Over Lattices. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:128-144 [Conf]
  14. Susumu Nishimura
    Deforesting in Accumulating Parameters via Type-Directed Transformations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:145-159 [Conf]
  15. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Fusion Transformation on Functional Programs of Regular Expression Types. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:160-174 [Conf]
  16. Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
    A Type-Based Approach to Parallelization (preliminary report). [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:175-192 [Conf]
  17. Yuxi Fu
    On Quasi-Open Bisimulation. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:193-215 [Conf]
  18. Xinxin Liu, Yongjian Li
    Bisimulation for Higher-Order Pi-calculus. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:216-229 [Conf]
  19. Robert Glück, Masahiko Kawabe
    An Automatic Program Inverter for Lisp: Potential and Limitations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:230-245 [Conf]
  20. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:246-257 [Conf]
  21. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Implementation of Parallel Tree Skeletons on Distributed Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:258-271 [Conf]
  22. Takuma Murakami, Zhenjiang Hu, Masato Takeichi
    An Optimal Staging Algorithm. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:272-284 [Conf]
  23. Hyunjun Eo, Kwangkeun Yi
    An Improved Differential Fixpoint Iteration Method for Program Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:285-301 [Conf]
  24. Naoki Kobayashi, Keita Shirane
    Type-Based Information Analysis for Low-Level Languages. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:302-316 [Conf]
  25. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Inserting Safe Memory Re-use Commands into ML-like Programs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:317-333 [Conf]
  26. Akihiko Takano, Shingo Nishioka, Osamu Imaichi, Yoshiki Niwa
    Association Computation for Information Access. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:334-336 [Conf]
  27. Bixin Li
    An Approach for Assessing Software Coupling. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:337-351 [Conf]
  28. Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
    Data Flow Analysis of Secure Information-Flow. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:352-365 [Conf]
  29. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    Yicho - A System for Programming Program Calculations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:366-382 [Conf]
  30. Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura
    Recursion Removal from Recursive Programs with One Descent Function. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:383-395 [Conf]
  31. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Extending Sized Type with Collection Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:396-413 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002