Conferences in DBLP
Yukiyoshi Kameyama Dynamic Control Operators in Type Theory. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:1-11 [Conf ] Kwanghoon Choi , Taisook Han A Type System for the Push-Enter Model. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:13-27 [Conf ] Yasuhiko Minamide , Koji Okuma Verifying the CPS Transformation in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:29-37 [Conf ] Saswat Anand , Siau-Cheng Khoo Efficient Interpretation of Chart Pattern Language. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:39-48 [Conf ] 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 ] Mikhail A. Bulyonkov , N. N. Filatkina Exploring Dataflow in Legacy Systems. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:61-73 [Conf ] Shin-Cheng Mu , Richard S. Bird Functional Quantum Programming. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:75-88 [Conf ] Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi An Accumulative Parallel Skeleton for All. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:89-101 [Conf ] Robert Glück Jones Optimality and the Strength of Program Specializers. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:103-116 [Conf ] 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 ] Oukseh Lee An Effect System Combining Alias and Liveness for Explicit Memory Reuse. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:133-145 [Conf ] Atsushi Igarashi , Naoki Kobayashi Resource Usage Analysis. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:147-158 [Conf ] 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 ] Joonseon Ahn A Differential Evaluation of Fixpoint Iterations. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:171-182 [Conf ] Mizuhito Ogawa Abstract Interpretation over Infinite Abstract Domains (Tentative Report). [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:183-191 [Conf ] 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 ] Farn Wang Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:207-224 [Conf ] 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 ] 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 ] Tyng-Ruey Chuang , Jan-Li Lin On Modular Transformations of Structural Content. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:251-263 [Conf ] Eijiro Sumii , Hideo Bannai VM lambda: a Functional Calculus for Scientific Discovery. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:265-275 [Conf ] 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 ] 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 ] Atsushi Ohori Proof-Directed Compilation for Inter-operable Languages. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:301-311 [Conf ] Kazunori Ueda Resource-Passing Concurrent Programming. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:313-327 [Conf ] Jacques Garrigue Simple Type Inference for Structural Polymorphism. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:329-343 [Conf ] 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 ] Haiyan Zhao , Zhenjiang Hu , Masato Takeichi A Compositional Framework for Querying Optimized Ranges. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:363-376 [Conf ] Byeong-Mo Chang , Jang-Wu Jo Estimating Exception-Induced Control Flow for Java. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:377-387 [Conf ]