Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Алгебраїчна семантика англ algebraic semantics це форма аксіоматичної семантики на основі законів алгебри що використову

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

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

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

Див. також


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


Література

  • Eric G. Wagner (1995). Algebraic Semantic. У Samson Abramsky (ред.). Handbook of Logic in Computer Science: Semantic structures. Т. 3. Clarendon Press. ISBN .
  • [en]; Grant Malcolm (1996). Algebraic semantics of imperative programs. MIT Press. ISBN .

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Algebrayichna semantika angl algebraic semantics ce forma aksiomatichnoyi semantiki na osnovi zakoniv algebri sho vikoristovuyetsya dlya formalnogo opisu ta analizu semantiki program Div takozhOBJ mova programuvannya en Ce nezavershena stattya pro programuvannya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi LiteraturaEric G Wagner 1995 Algebraic Semantic U Samson Abramsky red Handbook of Logic in Computer Science Semantic structures T 3 Clarendon Press ISBN 9780198537625 en Grant Malcolm 1996 Algebraic semantics of imperative programs MIT Press ISBN 9780262071727

Дата публікації:
Топ