You are here: irt.org | FOLDOC | Vienna Definition Language
(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)].
Nearby terms: video random-access memory « video terminal « videotex « Vienna Definition Language » Vienna Definition Method » Vienna Development Method » Vienna Development Method Specification Language
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL