topic collection

Semantics

study of meaning in language

16 entities

8 domains

Studies

4

programming language semantics

the field concerned with the rigorous mathematical study of the meaning of programming languages

denotational semantics

approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages

operational semantics

category of formal programming language semantics

axiomatic semantics

approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state

Programming_Language

3

algebraic semantics

form of axiomatic semantics

object-oriented, data-parallel superset of ANSI C with synchronous semantics

frame-based language with clear first-order logic semantics

Human

3

Information Semantics

Alex Lascarides

Professor of Semantics at the University of Edinburgh

Researcher in Geospatial Semantics at Mainz University of Applied Sciences interested in standardization, semantic web technologies. Part of the OGC GeoSPARQL working group

Creative_Work

2

Mysterious Basement Machines of the Prairie or Uncontrollable Semantics Part Two

creative work by Jason Nelson

Uncontrollable Semantics

creative work by Jason Nelson

Practices

1

kind of key on a computer keyboard that changes the semantics of other keys

Field_Of_Work

1

distributional semantics

research area in semantic similarities between linguistic items

Business

1

Nanosemantics Lab

Russian IT AI company

Research_Institute

1

University of Latvia, Center for Cognitive Sciences and Semantics, Riga, Latvia

organisation involved in scholarly research