Termination assertions for recursive programs: Completeness and axiomatic definability (Q3323258)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination assertions for recursive programs: Completeness and axiomatic definability |
scientific article |
Statements
Termination assertions for recursive programs: Completeness and axiomatic definability (English)
0 references
1983
0 references
soundness
0 references
completeness
0 references
termination
0 references
recursive procedures
0 references
axiom system
0 references
global procedure calls
0 references
recursive program
0 references
