(VDL) IBM VieNNa Labs. A laNguage for formal, algebraic defiNitioN via operatioNal semaNtics. Used to specify the semaNtics of PL/I. See also VDM. ["The VieNNa DefiNitioN LaNguage", P. WegNer, ACM Comp Surveys 4(1):5-63 (Mar 1972)].

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ACM ] [ ag ] [ ai ] [ al ] [ algebra ] [ algebraic ] [ am ] [ aN ] [ ar ] [ arc ] [ at ] [ B ] [ b ] [ br ] [ bs ] [ C ] [ ch ] [ ci ] [ CM ] [ D ] [ de ] [ du ] [ ec ] [ ed ] [ ee ] [ eg ] [ er ] [ era ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gN ] [ gu ] [ h ] [ hr ] [ IBM ] [ id ] [ ie ] [ il ] [ iN ] [ io ] [ it ] [ la ] [ laNguage ] [ Lex ] [ ls ] [ M ] [ ma ] [ maN ] [ mo ] [ mod ] [ module ] [ mp ] [ Na ] [ Ne ] [ Ng ] [ Ni ] [ NN ] [ om ] [ op ] [ operatioNal semaNtics ] [ pe ] [ ph ] [ PL/I ] [ query ] [ ratioNal ] [ rc ] [ re ] [ S ] [ se ] [ semaNtics ] [ so ] [ spec ] [ T ] [ th ] [ to ] [ ua ] [ V ] [ VDL ] [ VDM ] [ ve ] [ vi ]