operational semantics

category of formal programming language semantics

en-GB/ˌɒpəˈɹeɪʃənəl sɪˈmæntɪks/
en-US/ˌɑpɚˈeɪʃənəl sɪˈmæntɪks/

分类：

programming language semantics