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 specifications in a formal manner.

Subfields
Computational Lexical (lexis, lexicology) Statistical Structural
Topics
Analysis Compositionality Context (language use) Prototype theory Force dynamics Semantic feature Semantic gap Theory of descriptions
Analysis
Latent Machine-learning
Applications
Semantic file system Semantic matching Semantic parsing Semantic similarity Semantic query Semantic Web Semantic wiki

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