algebraic semantics

form of axiomatic semantics

en-US/ˌæld͡ʒəˈbɹeɪɪk sɪˈmæntɪks/
en-GB/ˌæld͡ʒɪˈbɹeɪɪk sɪˈmæntɪks/

ক্যাটাগরি:

programming language