Implementation and verification of implicit-invocation systems using source transformation | IEEE Conference Publication | IEEE Xplore