Conferences in DBLP
Yukiyoshi Kameyama Dynamic Control Operators in Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Kwanghoon Choi , Taisook Han A Type System for the Push-Enter Model. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhiko Minamide , Koji Okuma Verifying the CPS Transformation in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Saswat Anand , Siau-Cheng Khoo Efficient Interpretation of Chart Pattern Language. [Citation Graph (0, 0)][DBLP ] Conf ] Norio Kobayashi , Mircea Marin , Tetsuo Ida Collaborative Constraint Functional Logic Programming in an Open Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail A. Bulyonkov , N. N. Filatkina Exploring Dataflow in Legacy Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-Cheng Mu , Richard S. Bird Functional Quantum Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi An Accumulative Parallel Skeleton for All. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück Jones Optimality and the Strength of Program Specializers. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Dana N. Xu Higher-Order Polymorphic Sized Types for Safety Checks. [Citation Graph (0, 0)][DBLP ] Conf ] Oukseh Lee An Effect System Combining Alias and Liveness for Explicit Memory Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Igarashi , Naoki Kobayashi Resource Usage Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jinyun Xue Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. [Citation Graph (0, 0)][DBLP ] Conf ] Joonseon Ahn A Differential Evaluation of Fixpoint Iterations. [Citation Graph (0, 0)][DBLP ] Conf ] Mizuhito Ogawa Abstract Interpretation over Infinite Abstract Domains (Tentative Report). [Citation Graph (0, 0)][DBLP ] Conf ] Mitsuharu Yamamoto , Masami Hagiya Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. [Citation Graph (0, 0)][DBLP ] Conf ] Kyung-Goo Doh , Seung Cheol Shin Analysis of Secure Information Flow by Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Norio Kato , Kazunori Ueda Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Tyng-Ruey Chuang , Jan-Li Lin On Modular Transformations of Structural Content. [Citation Graph (0, 0)][DBLP ] Conf ] Eijiro Sumii , Hideo Bannai VM lambda: a Functional Calculus for Scientific Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Masahito Hasegawa Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Atsushi Ohori Proof-Directed Compilation for Inter-operable Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda Resource-Passing Concurrent Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Garrigue Simple Type Inference for Structural Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej S. Murawski , Kwangkeun Yi Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. [Citation Graph (0, 0)][DBLP ] Conf ] Haiyan Zhao , Zhenjiang Hu , Masato Takeichi A Compositional Framework for Querying Optimized Ranges. [Citation Graph (0, 0)][DBLP ] Conf ] Byeong-Mo Chang , Jang-Wu Jo Estimating Exception-Induced Control Flow for Java. [Citation Graph (0, 0)][DBLP ] Conf ] 