An Exercise in Program Explanation

• Authors:

• Jayadev Misra

• Affiliations:

• Department of Computer Sciences, College of Natural Sciences, The University of Texas at Austin, Austin, TX

• Venue:
• ACM Transactions on Programming Languages and Systems (TOPLAS)
• Year:
• 1981