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.
More From encyclopedia.com
Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… Ada , Ada Trademark A programming language developed at the behest of the US Department of Defense for use in real-time systems containing embedded compute… Fp , FP A notation for functional programming proposed by J. W. Backus in 1978. Backus propounded a general functional style of programming, and developed… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… Food Stamps , FOOD STAMP PROGRAM. The food stamp program originated in federal efforts to combat overproduction during the Great Depression by raising the consumpt… Tsr , TSR Short for terminate and stay resident program. A type of program normally found on microcomputer systems. After the program has been loaded into…
About this article
Updated About encyclopedia.com content Print Article
You Might Also Like