Homework: Reading questions

Submit two items to the submission website (see link in the navigation bar at the top of the page):

Answer the following question:

Section 2 discusses different specifications that a compiler might have (definitions 1, 2, and 3). Think of an example of a program and its compilation that satisfies definition 3 but not 2, and an example of a program and its compilation that satisfies definition 2 but not 1.

Are there properties that you might want from a compiler that are not captured by definition 2?

Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at 6826-staff@lists.csail.mit.edu.

Creative Commons License