Predicative methodology (Q1080649)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicative methodology |
scientific article |
Statements
Predicative methodology (English)
0 references
1986
0 references
We introduce a predicative semantics of programs and show its use in programming. With it, logic errors can be detected and reported when they are made, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician's use of theorems in the proof of larger theorems.
0 references
semantics of programs
0 references
programming
0 references
logic errors
0 references
