Algebraic semantics (computer science)
| Semantics | ||||||||
|---|---|---|---|---|---|---|---|---|
|
||||||||
|
Semantics of programming languages | ||||||||
|
||||||||
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 (eds.). Handbook of Logic in Computer Science: Semantic structures. Vol. 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. |
