Analysis of Active Database Rules Behavior Using Rewriting Logic
Abstract & Figures
Sorry, we couldn't extract an abstract for this paper.
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.
Sorry, we couldn't extract any citations for this paper.
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Slides referencing similar topics
Verification and Certification Using Rewriting Logic
Santiago Escobar + 7 • Mar 19, 2015
Rules in DBS-Active Database Systems -
Vera Goebel • Dec 23, 2015
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Mark Hills • Jul 12, 2017