Топ питань
Часова шкала
Чат
Перспективи
Алгебраїчна семантика
З Вікіпедії, вільної енциклопедії
Remove ads
Алгебраїчна семантика (англ. algebraic semantics) - це форма аксіоматичної семантики на основі законів алгебри, що використовується для формального опису та аналізу семантики програм.
Див. також
- OBJ (мова програмування)
- Джозеф Гоген[en]
 |
Це незавершена стаття про програмування. Ви можете допомогти проєкту, виправивши або дописавши її. |
Література
- 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.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads