Algebraic semantics (computer science)

From Wikipedia, the free encyclopedia
Jump to: navigation, 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.