Finding:

1. close

   Formal semantics of programming languages

   Concurrency semantics is a catch-all term for any formal semantics that describes concurrent computations. ... 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. ... Writing P for a power domain constructor, the domain P(D) is the domain of non-deterministic computations of type denoted by D.
3. close

   Denotational semantics of the Actor model

   The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. ... Domain of Timed Actor Computations
4. close

   Small step semantics

   In computer science, small step semantics formally describe how the individual steps of a computation take place in a computer-based system. By opposition big step semantics describe how the overall results of the executions are obtained.
5. 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.
6. close

   Semantics encoding

   A semantics encoding is a translation between formal languages. ... Simulations are used typically to describe compile-time optimizations.
7. 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.
8. 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.
9. close

   Failure Semantics

   Failure Semantics is a concept used in Distributed computing to describe and classify errors that distributed systems can experience.
10. 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.

Explore the following pages on Powerset:

• Formal semantics of programming languages,
• Denotational semantics,
• Denotational semantics of the Actor model,
• Small step semantics,
• Operational semantics,
• Semantics encoding,
• Axiomatic semantics,
• Semantics,
• Failure Semantics,
• Game semantics

Try this on Bing Research

Bing