A static programming paradigm

dc.contributor.author	Mueller, C
dc.contributor.editor	Petkov, D.
dc.contributor.editor	Venter, L.
dc.date.accessioned	2018-08-19T13:24:59Z
dc.date.available	2018-08-19T13:24:59Z
dc.date.issued	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.identifier.uri	http://hdl.handle.net/10500/24715
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