Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm (Q3942388)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm |
scientific article |
Statements
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm (English)
0 references
1982
0 references
functional programming
0 references
automatic programming
0 references
program transformation
0 references
verification
0 references
Schorr-Waite graph-marking algorithm
0 references
abstract data type
0 references
recursive programs
0 references
depth-first-search algorithm
0 references
