CS 260r 2017 L16: Separation Logic (3/27)
Describe the meaning of the “-*” definition from Section 3 in intuitive terms.
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.)
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard.
Terms of Service