Refined rules termination analysis through transactions. (Q1400305)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Refined rules termination analysis through transactions. |
scientific article |
Statements
Refined rules termination analysis through transactions. (English)
0 references
13 August 2003
0 references
Rules termination
0 references
Static analysis
0 references
Transactions
0 references
Active data bases
0 references
