# Algebraic semantics (computer science)

Jump to navigation
Jump to search

In computer science, **algebraic semantics** is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner.

## See also[edit]

## References[edit]

- Eric G. Wagner (1995). "Algebraic Semantic". In Samson Abramsky; Dov M. Gabbay; Thomas S. E. Maibaum.
*Handbook of Logic in Computer Science: Semantic structures*.**3**. Clarendon Press. ISBN 9780198537625. - Joseph Goguen; Grant Malcolm (1996).
*Algebraic semantics of imperative programs*. MIT Press. ISBN 9780262071727.

This computer science article is a stub. You can help Wikipedia by expanding it. |

This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it. |