Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s...

programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning...

using an action language that conforms to the UML Action Semantics. Action Semantics was added to the UML specification in 2001. The Action Semantics RFP was...

General semantics is a school of thought that incorporates philosophic and scientific aspects. Although it does not stand on its own as a separate school...

Lexical semantics (also known as lexicosemantics), as a subfield of linguistic semantics, is the study of word meanings. It includes the study of how words...

pragmatics link language to action. Semantics is concerned with the meaning of a message conveyed in a communicative act. Semantics considers the content of...

Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends...

teeth. Linguistic modality has been one of the central concerns in formal semantics and philosophical logic. Research in these fields has led to a variety...

In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings...

Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety...

Language in Thought and Action is a 1949 book on general semantics by Samuel Ichiye Hayakawa, based on his previous work Language in Action (1939). Early editions...

Cognitive semantics is part of the cognitive linguistics movement. Semantics is the study of linguistic meaning. Cognitive semantics holds that language...

Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a...

Formal semantics is the scientific study of grammatical meaning in natural languages using formal concepts from logic, mathematics and theoretical computer...

program semantics. In particular, with David Watt he developed action semantics, a combination of denotational, operational and algebraic semantics. Currently...

With Peter Mosses he developed action semantics, a combination of denotational semantics, operational and algebraic semantics. He currently teaches a third...

word's denotation. Denotation plays a major role in several fields. Within semantics and philosophy of language, denotation is studied as an important aspect...

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

observe manipulable objects, (2) process action verbs, and (3) observe another individual's movements. Embodied semantics is one of two theories concerning the...

The subfield of semantics that pertains especially to lexicological work is called lexical semantics. In brief, lexical semantics contemplates the significance...

like linguist Eugenio Coseriu and other proponents of the structural semantics paradigm. In this prototype theory, any given concept in any given language...

In semantics, mathematical logic and related disciplines, the principle of compositionality is the principle that the meaning of a complex expression...

Computational semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language expressions...

Structural semantics (also structuralist semantics) is a linguistic school and paradigm that emerged in Europe from the 1930s, inspired by the structuralist...

potential in explaining the relationship between syntax and semantics (also known as the syntax-semantics interface), that is how meaning affects the surface...

and semantics of the language more widely known as JavaScript), though it originally arose as a sibling, both being influenced by HyperTalk. ActionScript...

is to make Internet data machine-readable. To enable the encoding of semantics with the data, technologies such as Resource Description Framework (RDF)...

suggested that PRR use a combination of UML OCL and Action Semantics for rule conditions and actions. However, expecting modellers to learn 2 relatively...

A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth...

Memory semantics may also be defined for transactional memory, where issues related to the interaction of transactions and locks, and user-level actions need...