Verifying Recursive Programs Using Intraprocedural Analyzers.

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Browse the full SAS paper archive.