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 |
| _version_ | 1780896982593699840 |
|---|---|
| author | Novitsky, V V |
| author_facet | Novitsky, V V |
| author_sort | Novitsky, V V |
| collection | CERN |
| description | 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. |
| id | cern-488254 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2001 |
| record_format | invenio |
| spelling | cern-4882542019-09-30T06:29:59Zhttp://cds.cern.ch/record/488254engNovitsky, V VA New Approach of the Metatheory of Correct Programming. RationaleComputing and ComputersThis 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.EXT-2001-015oai:cds.cern.ch:4882542001-02-10 |
| spellingShingle | Computing and Computers Novitsky, V V A New Approach of the Metatheory of Correct Programming. Rationale |
| title | A New Approach of the Metatheory of Correct Programming. Rationale |
| title_full | A New Approach of the Metatheory of Correct Programming. Rationale |
| title_fullStr | A New Approach of the Metatheory of Correct Programming. Rationale |
| title_full_unstemmed | A New Approach of the Metatheory of Correct Programming. Rationale |
| title_short | A New Approach of the Metatheory of Correct Programming. Rationale |
| title_sort | new approach of the metatheory of correct programming. rationale |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/488254 |
| work_keys_str_mv | AT novitskyvv anewapproachofthemetatheoryofcorrectprogrammingrationale AT novitskyvv newapproachofthemetatheoryofcorrectprogrammingrationale |