Pages that link to "Item:Q5255077"
From MaRDI portal
The following pages link to Toward a verified relational database management system (Q5255077):
Displaying 11 items.
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- A Coq formalisation of SQL's execution engines (Q1791148) (← links)
- A formally verified, optimized monitor for metric first-order dynamic logic (Q2096466) (← links)
- A formalization of SQL with nulls (Q2102947) (← links)
- Certified verification of relational properties (Q2165505) (← links)
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- (Q2980974) (← links)
- Mechanizing the Metatheory of mini-XQuery (Q3100214) (← links)
- Maintaining state constraints in relational databases: a proof theoretic basis (Q3833655) (← links)
- (Q4329266) (← links)
- (Q5689986) (← links)