Finding:

1. close

   Operational semantics

   In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics.
2. close

   Semantics

   Semantics is the study of meaning, usually in language. ... Operational semantics: The meaning of a construct is specified by the computation it induces when it is executed on a machine.
3. close

   Formal semantics of programming languages

   In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. ... Operational semantics
4. close

   Denotational semantics

   In computer science, denotational semantics is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.
5. close

   Structural semantics

   Logical positivism asserts that structural semantics is the study of relationships between the meanings of terms within a sentence, and how meaning can be composed from smaller elements. ... Operational semantics
6. close

   Algebraic semantics

   In logic, algebraic semantics is a formal semantics based on algebras. ... Operational semantics
7. close

   Action semantics

   Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses. ... This is in contrast to the typical case when extending denotational or operational semantics, which may require reformulation of the entire description.
8. close

   List of functional programming topics

   This is a list of functional programming topics, by Wikipedia page. ... Operational semantics
9. close

   Semantic analysis (linguistics)

   In linguistics, semantic analysis is the process of relating syntactic structures, from the levels of phrases, clauses, sentences and paragraphs to the level of the writing as a whole, to their language-independent meanings, removing features specific to particular linguistic and cultural contexts, to the extent that such a project is possible. ... Operational semantics
10. close

    Abstract semantic graph

    In computer science, an abstract semantic graph (ASG) is a data structure used in representing or deriving the semantics of an expression in a formal language (for example, a programming language). ... Operational semantics

Explore the following pages on Powerset:

• Operational semantics,
• Semantics,
• Formal semantics of programming languages,
• Denotational semantics,
• Structural semantics,
• Algebraic semantics,
• Action semantics,
• List of functional programming topics,
• Semantic analysis (linguistics),
• Abstract semantic graph

Try this on Bing Research

Bing