Introduction to set constraint-based program analysis

• 1 November 1999
• journal article
• Published by Elsevier in Science of Computer Programming
• Vol. 35  (2-3) , 79-111
• https://doi.org/10.1016/s0167-6423(99)00007-6

Abstract

Keywords

• PROGRAM ANALYSIS
• SET CONSTRAINTS
• INTRODUCTION
• SERVES
• ILLUSTRATE
• STYLE
• SPECIFY
• ANALYSIS PROBLEMS
• USING SET