operational semantics

category of formal programming language semantics

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

カテゴリ：

programming language semantics