Inlining semantics for subroutines which are recursive | ACM SIGPLAN Notices | DeepDyve