Relational heuristics for the design of deterministic programs (Q1077919): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Property / author | |||
| Property / author: Ali Milli / rank | |||
| Property / author | |||
| Property / author: Ali Milli / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 02:07, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational heuristics for the design of deterministic programs |
scientific article |
Statements
Relational heuristics for the design of deterministic programs (English)
0 references
1987
0 references
It has been shown that the design of deterministic programs can be formulated as the resolution of relational equations. Because relational calculi are not sufficently structured, there are no algorithmic solutions to relational equations. In this paper, we formulate some heuristic solutions to these equations.
0 references
deterministic programs
0 references
relational equations
0 references
relational calculi
0 references
heuristic solutions
0 references
