The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Yukiyoshi Kameyama
    Dynamic Control Operators in Type Theory. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:1-11 [Conf]
  2. Kwanghoon Choi, Taisook Han
    A Type System for the Push-Enter Model. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:13-27 [Conf]
  3. Yasuhiko Minamide, Koji Okuma
    Verifying the CPS Transformation in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:29-37 [Conf]
  4. Saswat Anand, Siau-Cheng Khoo
    Efficient Interpretation of Chart Pattern Language. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:39-48 [Conf]
  5. Norio Kobayashi, Mircea Marin, Tetsuo Ida
    Collaborative Constraint Functional Logic Programming in an Open Environment. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:49-59 [Conf]
  6. Mikhail A. Bulyonkov, N. N. Filatkina
    Exploring Dataflow in Legacy Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:61-73 [Conf]
  7. Shin-Cheng Mu, Richard S. Bird
    Functional Quantum Programming. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:75-88 [Conf]
  8. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Accumulative Parallel Skeleton for All. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:89-101 [Conf]
  9. Robert Glück
    Jones Optimality and the Strength of Program Specializers. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:103-116 [Conf]
  10. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Higher-Order Polymorphic Sized Types for Safety Checks. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:117-131 [Conf]
  11. Oukseh Lee
    An Effect System Combining Alias and Liveness for Explicit Memory Reuse. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:133-145 [Conf]
  12. Atsushi Igarashi, Naoki Kobayashi
    Resource Usage Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:147-158 [Conf]
  13. Jinyun Xue
    Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:159-169 [Conf]
  14. Joonseon Ahn
    A Differential Evaluation of Fixpoint Iterations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:171-182 [Conf]
  15. Mizuhito Ogawa
    Abstract Interpretation over Infinite Abstract Domains (Tentative Report). [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:183-191 [Conf]
  16. Mitsuharu Yamamoto, Masami Hagiya
    Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:193-205 [Conf]
  17. Farn Wang
    Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:207-224 [Conf]
  18. Kyung-Goo Doh, Seung Cheol Shin
    Analysis of Secure Information Flow by Model-Checking. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:225-236 [Conf]
  19. Norio Kato, Kazunori Ueda
    Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:237-250 [Conf]
  20. Tyng-Ruey Chuang, Jan-Li Lin
    On Modular Transformations of Structural Content. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:251-263 [Conf]
  21. Eijiro Sumii, Hideo Bannai
    VM lambda: a Functional Calculus for Scientific Discovery. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:265-275 [Conf]
  22. Masahito Hasegawa
    Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:277-288 [Conf]
  23. Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
    Computability and Complexity Results for a Spatial Assertion Language for Data Structures. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:289-300 [Conf]
  24. Atsushi Ohori
    Proof-Directed Compilation for Inter-operable Languages. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:301-311 [Conf]
  25. Kazunori Ueda
    Resource-Passing Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:313-327 [Conf]
  26. Jacques Garrigue
    Simple Type Inference for Structural Polymorphism. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:329-343 [Conf]
  27. Andrzej S. Murawski, Kwangkeun Yi
    Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:345-362 [Conf]
  28. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    A Compositional Framework for Querying Optimized Ranges. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:363-376 [Conf]
  29. Byeong-Mo Chang, Jang-Wu Jo
    Estimating Exception-Induced Control Flow for Java. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:377-387 [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