Approximate fixed points in abstract interpretation

• Authors:

• Chris Hankin;Sebastian Hunt

• Affiliations:

• -;-

• Venue:
• ESOP'92 Selected papers of the symposium on Fourth European symposium on programming
• Year:
• 1994