A concurrent abstract interpreter

• Authors:

• Stephen Weeks;Suresh Jagannathan;James Philbin

• Affiliations:

• -;-;-

• Venue:
• Lisp and Symbolic Computation - Special issue on parallel symbolic applications
• Year:
• 1994