Перейти до вмісту

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

Матеріал з Вікіпедії — вільної енциклопедії.

Алгебраїчна семантика (англ. 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=41339679