programming theory

views updated

programming theory A general term for a number of interrelated and rapidly developing subjects concerned broadly with the application of formal mathematical methods to the study of programming concepts. Principle areas are: semantics of programming languages, program specification, program correctness, program transformation, and programming methodology.

About this article

programming theory

Updated About encyclopedia.com content Print Article