predicate transformer
predicate transformer A function that maps predicates to predicates. Specifically, the predicate transformer for some statement S is a function that maps some predicate R into the weakest precondition of S with respect to R. The term was introduced by Dijkstra in 1975 in conjunction with a calculus for the derivation of programs; this provides for development of a program to be guided by the simultaneous development of a total correctness proof for the program. See program correctness proof.
More From encyclopedia.com
Fp , FP A notation for functional programming proposed by J. W. Backus in 1978. Backus propounded a general functional style of programming, and developed… transform , trans·form / transˈfôrm/ • v. [tr.] make a thorough or dramatic change in the form, appearance, or character of: lasers have transformed cardiac surg… Fourier Analysis , Fourier transform A mathematical operation that analyzes an arbitrary waveform into its constituent sinusoids (of different frequencies and amplitude… Lisp , LISP
LISP, an acronym for LISt Processing, is a programming language developed by John McCarthy in the late 1950s. Although LISP is a general-purpose… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… 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…
You Might Also Like
NEARBY TERMS
predicate transformer