Algebraická sémantika (informatika) - Algebraic semantics (computer science)

v počítačová věda, algebraická sémantika je forma axiomatická sémantika na základě algebraický zákony pro popis a uvažování o programová sémantika v formální způsob.

Viz také

Eric G. Wagner (1995). „Algebraická sémantika“. V Samson Abramsky; Dov M. Gabbay; Thomas S.E. Maibaum (eds.). Příručka logiky v informatice: Sémantické struktury. 3. Clarendon Press. ISBN 9780198537625.
Joseph Goguen; Grant Malcolm (1996). Algebraická sémantika imperativních programů. MIT Stiskněte. ISBN 9780262071727.

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

{ displaystyle Gamma vdash x: { text {Int}}}

Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.