Predicative methodology (Q1080649)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Predicative methodology |
scientific article; zbMATH DE number 3967894
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicative methodology |
scientific article; zbMATH DE number 3967894 |
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
0 references
0.82789254
0 references
0 references
0 references
