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

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

Див. також

Література
  • Eric G. Wagner (1995). Algebraic Semantic. У Samson Abramsky. Handbook of Logic in Computer Science: Semantic structures 3. Clarendon Press. ISBN 9780198537625.
  • Джозеф Гоген; Grant Malcolm (1996). Algebraic semantics of imperative programs. MIT Press. ISBN 9780262071727.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.