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 archivesActive forum topics |
Recent comments
7 weeks 6 days ago
8 weeks 1 day ago
8 weeks 3 days ago
15 weeks 2 days ago
21 weeks 21 hours ago
21 weeks 1 day ago
22 weeks 21 hours ago
24 weeks 6 days ago
26 weeks 2 days ago
26 weeks 2 days ago