Abstract interpretation for the compile-time optimization of logic programs

• Authors:

• Thomas Walter Getzinger

• Affiliations:

• Univ. of Southern California, Los Angeles

• Venue:
• Abstract interpretation for the compile-time optimization of logic programs
• Year:
• 1993