Conferences in DBLP
Koichi Takahashi , Masami Hagiya Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Dana N. Xu Deriving Pre-Conditions for Array Bound Check Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Polakow , Kwangkeun Yi Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Heintze , Joxan Jaffar , Razvan Voicu Conditional Analysis and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda Linearity Analysis of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay V. Shilov , Kwangkeun Yi A Note on Model Checkers Reuse and Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Oukseh Lee , Kwangkeun Yi A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Ramirez , Andrew E. Santosa A Declarative Approach to Concurrency in Java. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhiro Ajiro , Kazunori Ueda Kima - An Automated Error Correction System for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Haiyan Zhao , Zhenjiang Hu , Masato Takeichi Mining Optimized Ranges. [Citation Graph (0, 0)][DBLP ] Conf ] Tyng-Ruey Chuang Generic Validation of Structural Content with Parametric Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei M. Abramov , Robert Glück Principles of Inverse Computation in a Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-Cheng Mu On Building Trees with Minimum Height, Relationally. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuo Ida , Mircea Marin An Open Environment for Cooperative Equational Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Hui Wu , Joxan Jaffar An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohori Logical Analysis of Assembly Language. [Citation Graph (0, 0)][DBLP ] Conf ] C.-H. Luke Ong Light Logic and Resource Bounded Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihiko Futamura , Zenjiro Konishi , Robert Glück Automatic Generation of Very Efficient Programs by Generalized Partial Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Jungtaek Kim , Kwangkeun Yi Partial CPS Transformation Using Static Annotation. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhiko Minamide A New Criterion for Safe Program Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Le Xuan Thang Berlioz: Compiling Oz to Java Bytecode. [Citation Graph (0, 0)][DBLP ] Conf ] Mizuhito Ogawa A Note on Algebraic Structure of Tree Decomposition of Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] 