Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jrgen Dingel

Browse the full SCAM paper archive.