User loginNavigation |
Separation Logic courses (Reynolds)For some reason (probably starting with the letter N), seperation logic was recently mentioned here a few times. Since this area may be relatively unknown to many readers, I thought the following two course web sites from John C. Reynolds may be of interest: Separation Logic (Spring 2004)
Current Research on Separation Logic (Spring 2005) |
Browse archives
Active forum topics |
Recent comments
17 weeks 13 hours ago
17 weeks 13 hours ago
17 weeks 13 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago