Cargando…
Programming discipline
Good programming discipline is to produce programs which are: easy to use and to understand, reliable and easy to debug (if not already correct), and easy to adapt to changes in the environment. In order to fulfil these requirements programs must be well structured and well documented. Research on t...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
CERN
1974
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.5170/CERN-1974-023.426 http://cds.cern.ch/record/873508 |
| _version_ | 1780907683003498496 |
|---|---|
| author | Dahl, O J |
| author_facet | Dahl, O J |
| author_sort | Dahl, O J |
| collection | CERN |
| description | Good programming discipline is to produce programs which are: easy to use and to understand, reliable and easy to debug (if not already correct), and easy to adapt to changes in the environment. In order to fulfil these requirements programs must be well structured and well documented. Research on techniques for program correctness proofs has shed some light on what good structure and adequate documentation is. Indeed a program easily proved correct is easy to understand, and vice versa. |
| id | cern-873508 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1974 |
| publisher | CERN |
| record_format | invenio |
| spelling | cern-8735082019-09-30T06:29:59Zdoi:10.5170/CERN-1974-023.426http://cds.cern.ch/record/873508engDahl, O JProgramming disciplineComputing and ComputersGood programming discipline is to produce programs which are: easy to use and to understand, reliable and easy to debug (if not already correct), and easy to adapt to changes in the environment. In order to fulfil these requirements programs must be well structured and well documented. Research on techniques for program correctness proofs has shed some light on what good structure and adequate documentation is. Indeed a program easily proved correct is easy to understand, and vice versa.CERNoai:cds.cern.ch:8735081974 |
| spellingShingle | Computing and Computers Dahl, O J Programming discipline |
| title | Programming discipline |
| title_full | Programming discipline |
| title_fullStr | Programming discipline |
| title_full_unstemmed | Programming discipline |
| title_short | Programming discipline |
| title_sort | programming discipline |
| topic | Computing and Computers |
| url | https://dx.doi.org/10.5170/CERN-1974-023.426 http://cds.cern.ch/record/873508 |
| work_keys_str_mv | AT dahloj programmingdiscipline |