Exhaustive Execution of CHR Through Source-to-Source Transformation (Q2949701)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exhaustive Execution of CHR Through Source-to-Source Transformation |
scientific article |
Statements
Exhaustive Execution of CHR Through Source-to-Source Transformation (English)
0 references
2 October 2015
0 references
constraint handling rules
0 references
execution flow control
0 references
exhaustive execution
0 references
search space exploration
0 references
source-to-source transformation
0 references
