語言選擇:
免費網上英漢字典|3Dict

denotational semantics

資料來源 : Free On-Line Dictionary of Computing

denotational semantics
     
         A technique for describing the meaning of programs in
        terms of mathematical {functions} on programs and program
        components.  Programs are translated into functions about
        which properties can be proved using the standard mathematical
        theory of functions, and especially {domain theory}.
     
        Compare {axiomatic semantics}, {operational semantics},
        {standard semantics}.
     
        (1996-08-21)
依字母排序 : 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