Stratified Datalog and Program Analysis
From MaRDI portal
- A certified denotational abstract interpreter
- A Certified Distributed Security Logic for Authorizing Code
- Abstract interpretation of annotated commands
- Certified Graph View Maintenance with Regular Datalog
- Certifying standard and stratified Datalog inference engines in SSReflect
- Concrete semantics. With Isabelle/HOL
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
- Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
- Unnamed Publication
- Unnamed Publication
- Verifying Datalog reasoning with Lean
This page was built for software: Stratified Datalog and Program Analysis
