Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations (Q4923517)
From MaRDI portal
scientific article; zbMATH DE number 6165881
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations |
scientific article; zbMATH DE number 6165881 |
Statements
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations (English)
0 references
24 May 2013
0 references
0 references
0 references
