Rightslink® by Copyright Clearance Center

Program analysis via graph reachability 1 An abbreviated version of this paper appeared as an invited paper in the Proceedings of the 1997 International Symposium on Logic Programming [84]. 1

Author:

Thomas Reps

Publication:

Information and Software Technology

Publisher:

Elsevier

Date:

1 December 1998

Please select your organization and/or account

Organization

Account

Please select your account from the above dropdown list. These accounts represent the offices, campuses, and other sites where your organization operates. Your account selection should match where you typically have an office or workspace. Even when you are traveling or temporarily working elsewhere, you should select the account that represents where you customarily work.

Cancel OK

Welcome to RightsLink

Elsevier has partnered with Copyright Clearance Center's RightsLink service to offer a variety of options for reusing this content.

I would like to...This drop down menu contains the options the publisher has agreed to permit for reuse of their copyrighted material. The publisher offers these types of use either directly through RightsLink or after approval by the publisher. Please reference the terms and conditions offered during the order process for a complete understanding of the use you select. Need more info?