Steadfast logic programs (Q4719365)
From MaRDI portal
scientific article; zbMATH DE number 1383828
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Steadfast logic programs |
scientific article; zbMATH DE number 1383828 |
Statements
Steadfast logic programs (English)
0 references
4 January 2000
0 references
steadfastness
0 references
modularity
0 references
reusability
0 references
formal correctness
0 references
