Algebraic semantics (computer science)

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

References

This article is issued from Wikipedia - version of the Wednesday, July 16, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.