Institutional Repository

A static programming paradigm

Show simple item record Mueller, C
dc.contributor.editor Petkov, D.
dc.contributor.editor Venter, L. 2018-08-19T13:24:59Z 2018-08-19T13:24:59Z 1998
dc.identifier.citation Mueller, C. (1998) A static programming paradigm. Proceedings of the annual research and development symposium, SAICSIT (South African Institute for Computer Scientists and Information Technologists), Van Riebeeck Hotel, Gordons Bay, Cape Town, 23-24 November 1998, en
dc.identifier.isbn 1-86840-303-3
dc.description.abstract Formal methods have not as yet succeeded in becoming an accepted way to develop software. This paper explores whether a possible reason for this is the complexity of the tools we use, in particular, the programming paradigms. Existing programming paradigms view a program as something that is executed or evaluated, requiring reasoning about the dynamic behaviour of a program. Reasoning about something dynamic is considerably more complex than a static situation. The question considered here is whether it is possible to reason about a program in a static way, and in this way reduce the complexity of the tools we work with. en
dc.language.iso en en
dc.title A static programming paradigm en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account