Jump to content

Algebraic semantics (computer science)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Ruud Koot (talk | contribs) at 12:43, 21 July 2012 (cleanup after User:Op47). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

  • Eric G. Wagner (1995). "Algebraic Semantic". In Samson Abramsky, Dov M. Gabbay, Thomas S. E. Maibaum (ed.). Handbook of Logic in Computer Science: Semantic structures. Vol. 3. Clarendon Press. ISBN 9780198537625.{{cite book}}: CS1 maint: multiple names: editors list (link)
  • Joseph Goguen; Grant Malcolm (1996). Algebraic semantics of imperative programs. MIT Press. ISBN 9780262071727.
Stub icon

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Algebraic_semantics_(computer_science)&oldid=503430216"