Cargando…
A New Approach of the Metatheory of Correct Programming. Rationale
This is first of a series of four papers, which are forming a foundation of a mathematical theory and metamathematics of correct computer programming. This papers contains the rationale of the choosing concepts in following three papers.
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/488254 |
| Sumario: | This is first of a series of four papers, which are forming a foundation of a mathematical theory and metamathematics of correct computer programming. This papers contains the rationale of the choosing concepts in following three papers. |
|---|