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.

Types
Action Algebraic Axiomatic Categorical Concurrency Denotational Game Operational Predicate transformational
Theory
Abstract interpretation Abstract semantic graph Semantic matching
Analysis
Latent Machine-learning
Applications
Semantic file system Semantic Web Semantic wiki

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. 3. Clarendon Press. ISBN 9780198537625.
Joseph Goguen; Grant Malcolm (1996). Algebraic semantics of imperative programs. MIT Press. ISBN 9780262071727.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.