Preposition: of

• computation: In brief my research interests lie in the wider area of theory and semantics of computation, language and logic.

• logic: Like the semantics of modal logic, the semantics of relevance logic relativises truth of formulae to worlds.

• language: Those rules are usually called the semantics of a programming language.

Converse of object

• interleave: However, they are currently limited by the fact that many forms of parallel composition of processes are given an interleaving semantics.

• define: The opening paragraph defines the semantics of this attribute type.

• specify: The socket has the indicated type, which specifies the communication semantics.

• preserve: The actual implementation can be completely different as long as it preserves the semantics of the machine state model.

• capture: How information can be made more valuable by capturing semantics and treating data/information models as IT assets.

Preposition: for

• logic: In the semantics for relevant logics, not every world makes true every valid formula.

Adjective modifier

• denotational: The purpose of the denotational semantics of a language is to assign a value to every expression in the langauge.

• lexical: This analysis draws heavily on complex semantic types, of the kind that have been used recently in work on lexical semantics.

• axiomatic: From denotational to operational and axiomatic semantics for Algol-like languages: an overview.

• cause/constitute: The Argument shows that syntax by itself is not sufficient to cause/constitute semantics.

• well-defined: However, most visual languages lack a well-defined formal semantics.

• compositional: CSP has compositional semantics and JCSP enables direct Java implementations of CSP.

Noun used with modifier

• model-theoretic: We'll abstract away from the language of actions, and recast the phenomena within the terminology of model-theoretic semantics.

• concurrency: More recently I have worked on how to give true concurrency semantics to time extended LOTOS calculi.

• browsing: The Pipe browsing semantics is used to define a tool that can handle a hypermedia application by using Pipe structures.

• programming: When I say " semantics " I mean " programming language semantics " ; given a computer program, what is its meaning?

• layout: For more details on which pane it chooses to resize, see Layout Semantics.