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