Finding:

1. close

   Business semantics management

   Business Semantics Management (BSM) encompasses the... application of the derived business semantics patterns to establish semantic... ... Business semantics provide a kind of abstracted,... and virtualized way to access and deliver...
2. 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.
3. close

   Cognitive semantics

   Any one of the above conditions might not be met: for instance, a "single mother" does not need to be married, and a "surrogate mother" does not necessarily provide nurturance. ... As we have seen, cognitive semantics gives a treatment of issues in the construction of meaning both at the level of the sentence and the level of the lexeme in terms of the structure of concepts.
4. close

   Denotational semantics

   For example, there is no way to define the parallel-or function in PCF. ... It is not necessary for the semantics to determine an implementation, but it should provide criteria for showing that an implementation is correct.
5. close

   General semantics

   During the period of the 1940s and 1950s, general semantics entered the idiom of science fiction, most notably through the works of A. E. van Vogt, The World of Null-A and its sequels, and Robert A. Heinlein, Gulf. ... Crazy talk, stupid talk: how we defeat ourselves by the way we talk and what to do about it by Neil Postman, Delacorte Press, 1976.
6. close

   Semantics

   Semantics is the study of meaning, usually in language. ... factors external to language, i.e. language is not a set of labels stuck on things, but "a toolbox, the importance of whose elements lie in the way they function rather than their attachments to things."
7. close

   Concurrency semantics

   In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is often based on mathematical theories of concurrency such as various process calculi, the actor model, or Petri nets.
8. close

   Denotational semantics of the Actor model

   The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. ... In this way, the denotational semantics for process calculi and the Actor model provide a denotational semantics for "<expression1> + <expression2>" in terms of the semantics for <expression1> and <expression2>.
9. close

   Formal semantics

   The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so conscientious logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. ... ↑ For a very readable and succinct overview of how formal semantics found its way into linguistics, please refer to The formal approach to meaning: Formal semantics and its recent developments by Barbara Abbott.
10. close

    Journal of Semantics

    The Journal of Semantics is a leading international peer-reviewed journal of semantics of natural languages published by Oxford University Press. ... "The way teens talk, like, serves a purpose".

Explore the following pages on Powerset:

• Business semantics management,
• Operational semantics,
• Cognitive semantics,
• Denotational semantics,
• General semantics,
• Semantics,
• Concurrency semantics,
• Denotational semantics of the Actor model,
• Formal semantics,
• Journal of Semantics

Try this on Bing Research

Bing