The following pages link to SeLoger (Q5973049):
Displaying 7 items.
- Separation logic with one quantified variable (Q2411038) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5111651) (← links)
- On Symbolic Heaps Modulo Permission Theories (Q5136317) (← links)
- Learning Shape Analysis (Q5233237) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
