Finding:

1. close

   Library (computing)

   Libraries contain code and data that provide services to independent programs. ... The different semantics provide technical justification for this usage.
2. close

   Stable model semantics

   The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. ... If we think of the stable model semantics as a description of the behavior of Prolog in the presence of negation then programs without a unique stable model can be judged unsatisfactory: they do not provide an unambiguous specification for Prolog-style query answering.
3. 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. ... Compositionality in this case is to provide a meaning for "7 + 4" in terms of the meanings of "7", "4" and "+".
4. 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.
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

   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.
7. close

   Denotational semantics of the Actor model

   The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. ... Thus there arose the problem of how to provide modular denotational semantics for concurrent programming languages.
8. close

   Generative semantics

   Generative semantics is the name of a research program within linguistics, initiated by the work of various early students of Noam Chomsky: John R. Ross, Paul Postal and later James McCawley. George Lakoff was also instrumental in developing and advocating the theory.[1] The approach developed out of transformational generative grammar in the mid 1960s, but stood largely in opposition to work by Noam Chomsky and his later students.
9. 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. The formal semantics of a language is given by a mathematical model that describes the possible computations described by the language.
10. close

    Frame semantics (linguistics)

    Frame semantics, a further development of Charles J. Fillmore's case grammar, relates linguistic semantics to encyclopaedic knowledge. The basic idea is that one cannot understand the meaning of a single word without access to all the essential knowledge that relates to that word.

Explore the following pages on Powerset:

• Library (computing),
• Stable model semantics,
• Denotational semantics,
• Semantics,
• Operational semantics,
• General semantics,
• Denotational semantics of the Actor model,
• Generative semantics,
• Formal semantics of programming languages,
• Frame semantics (linguistics)

Try this on Bing Research

Bing