CS 260r 2017 L16: Separation Logic (3/27)
Email address *
Question 1 *
Describe the meaning of the “-*” definition from Section 3 in intuitive terms.
Your answer
Question 2 *
Give a heap that distinguishes ls(10,10) and ils(10,10) (part of Exercise 4). (A heap “distinguishes” two assertions if it meets one assertion, but not the other.)
Your answer
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard. Report Abuse - Terms of Service - Additional Terms