Алгебраїчна семантика
Алгебраїчна семантика (англ. algebraic semantics) - це форма аксіоматичної семантики на основі законів алгебри, що використовується для формального опису та аналізу семантики програм.
Див. також ред.
Це незавершена стаття про програмування. Ви можете допомогти проєкту, виправивши або дописавши її. |
Література ред.
- 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.