algebraic semantics

form of axiomatic semantics

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

Κατηγορίες:

programming language