Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel. Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. In 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September - 1 October 2005, Budapest, Hungary. pages 87-96, IEEE Computer Society, 2005. [doi]
Abstract is missing.