The following pages link to GRASShopper (Q35077):
Displaying 13 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Deciding local theory extensions via E-matching (Q1702888) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Congruence Closure with Free Variables (Q3303931) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- Learning Shape Analysis (Q5233237) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)
- Publication:5041109 (← links)
- Publication:5875940 (← links)
