Finding:

1. close

   Formal semantics of programming languages

   Algebraic semantics describes semantics in terms of algebras; ... For a variety of reasons, one might wish to describe the relationships between different formal semantics.
2. 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.
3. close

   General semantics

   General semantics is a non-Aristotelian educational discipline created by Alfred Korzybski (1879–1950) during the years 1919 to 1933. General Semantics is distinct from semantics (a sub-field of linguistics), a different subject.
4. 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.
5. close

   Game semantics

   Game semantics (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz.
6. close

   Kripke semantics

   Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke, beginning when he was a teenager. It was first made for modal logics, and later adapted to intuitionistic logic and other non-classical systems.
7. close

   Cognitive semantics

   Cognitive semantics is part of the cognitive linguistics movement. ... The base space is used to describe reality (as it is understood by both interlocutors).
8. close

   Axiomatic semantics

   Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.
9. close

   Semantics

   Semantics is the study of meaning, usually in language. The word "semantics" itself denotes a range of ideas, from the popular to the highly technical.
10. close

    Failure Semantics

    Failure Semantics is a concept used in Distributed computing to describe and classify errors that distributed systems can experience.

Explore the following pages on Powerset:

• Formal semantics of programming languages,
• Denotational semantics,
• General semantics,
• Operational semantics,
• Game semantics,
• Kripke semantics,
• Cognitive semantics,
• Axiomatic semantics,
• Semantics,
• Failure Semantics

Try this on Bing Research

Bing