Алгебраїчна семантика

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 19:29, 22 лютого 2020, створена BunykBot (обговорення | внесок) (Категоризація)
Перейти до навігації Перейти до пошуку

Алгебраїчна семантика (англ. algebraic semantics) - це форма аксіоматичної семантики на основі законів алгебри, що використовується для формального опису та аналізу семантики програм.

Див. також


PROG Це незавершена стаття про програмування.
Ви можете допомогти проєкту, виправивши або дописавши її.


Література

  • Eric G. Wagner (1995). Algebraic Semantic. У Samson Abramsky (ред.). Handbook of Logic in Computer Science: Semantic structures. Т. 3. Clarendon Press. ISBN 9780198537625.
  • Джозеф Гоген[en]; Grant Malcolm (1996). Algebraic semantics of imperative programs. MIT Press. ISBN 9780262071727.
Отримано з https://uk.wikipedia.org/w/index.php?title=Алгебраїчна_семантика&oldid=27329154