语言选择:
免费网上英汉字典|3Dict

vienna definition language

资料来源 : Free On-Line Dictionary of Computing

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)].
依字母排序 : 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