Implementing Higher-Order Control in Java

Based on the idea of control obtained from exception handling system, previous works have proposed many similar source transformations for different higher-order control applications. In this paper, we bring up a general transformation framework for Java-like imperative language. We define a small java-like language and present the formal transformation algorithms for the control linearized form FANF. On FANF, we introduce the annotation method for exceptional continuation. We also implement the higher-order control operator fcontrol/run as an example of the basic infrastructure.