Stack Overflow
Stack Overflow

Questions tagged [semantics]

The study of meaning as it applies to programming languages

Semantics is the study of meaning. In computer programming, semantics refers to the relationships between symbols in a programming language, and how those symbols are combined and manipulated to produce a computing result.

Useful links

1728 questions
0
votes
1 answer

Proving associativity of sequential composition in Isabelle

Consider the following inductive definition describing the small step semantics of the language of guarded commands: inductive small_step :: "com × state ⇒ com × state ⇒ bool" (infix "→" 55) where Assign: "(x ::= a, s) → (SKIP, s(x := aval a s))"…
user1868607
  • 2,558
  • 1
  • 17
  • 38
0
votes
2 answers

Semantic Technologies for different Operating Systems

I'm trying to write an application that categorizes a certain type of file, music for example, or pictures. As part of the application users would be able to tag items so as to make searching more efficient. These tags could be location and place of…
Varun Madiath
  • 3,152
  • 4
  • 30
  • 46
0
votes
1 answer

Does the C++ standard require operator != must be provided for a given iterator type?

The C++17 standard 27.2.1.8 says: An iterator j is called reachable from an iterator i if and only if there is a finite sequence of applications of the expression ++i that makes i == j. That is to say, any conforming iterator type must provide…
xmllmx
  • 39,765
  • 26
  • 162
  • 323
0
votes
1 answer

Semantic representation of text

I am trying to expand my knowledge in natural language processing and I recently came across concept of semantic representation of text. I understand its definition "an abstract language in which meanings can be represented", but what are some ways…
awarus
  • 21
  • 5
0
votes
0 answers

How to use stack in compiler semantic analysis?

I have the following code which uses the nodes from an AST and executes steps based on which kind of node it is. switch (kind(*node)) { case(scope_node): case(declarations): case(statements): case(declaration): …
aa1
  • 783
  • 1
  • 15
  • 31
0
votes
1 answer

How does a compiler remember declared variable when used in expression?

How does a compiler keep track of the declaration of a variable when it is used in an expression? For example, if I have the following code: int num = 1; //declaration num = 2; //expression I know that the syntax tree will generate a branch for the…
aa1
  • 783
  • 1
  • 15
  • 31
0
votes
0 answers

Semantics with 'section' element

I have been reading up about the 'section' element, whilst trying to understand how I should be using it in my documents. In the documentation, I see it states: The section element represents a generic section of a document or application. A…
ccdavies
  • 1,576
  • 5
  • 19
  • 29
0
votes
1 answer

Custom taxonomy support in WordLift

I am using the WordLift plugin for WordPress. I have created a custom taxonomy and I'd like to make it become a Wordlift entity. Is there a way to achieve it? I've seen this answer for custom post types. Custom post types support in WordLift
Revious
  • 7,816
  • 31
  • 98
  • 147
0
votes
4 answers

HTML/CSS design planning for graceful css degradation

On the front page of my personal website I have a listing of all the articles and the date they were published. This data would be a perfect use for an HTML table tag. The table would only be used to display the tabular data. I worked on it…
theman_on_vista
0
votes
1 answer

Methods to extract keywords from large documents that are relevant to a set of predefined guidelines using NLP/ Semantic Similarity

I'm in need of suggestions how to extract keywords from a large document. The keywords should be inline what we have defined as the intended search results. For example, I need the owner's name, where the office is situated, what the operating…
Aeshana Shalindra Udadeniya
  • 3
  • 2
0
votes
2 answers

Clarification requests about Description Logic and OWL

I have two main Questions: 1/ If we speak about OWL 2 semantics in academic manuscripts (ex. thesis) : do we include the description provided in this W3C official page, which consists of more than one interpretation functions OR the one provided in…
OntoBLW
  • 3
  • 4
0
votes
1 answer

I want to classify some sentences on the basis of their semantic meaning.How can I use Doc2Vec in this? Or is there a better approach than this?

I want to implement doc2vec on various reviews which we extracted from a source.And I want to classify these reviews into different classes defined by the user. How can I do this?
Anirudh Chaudhary
  • 1
0
votes
2 answers

How to markup site title for accessibility

On my home page I'm using a h1 tag for the site title. On internal pages I'm using h1 for the page title, but I'm wondering what is the best way to mark up the site title on these pages in XHTML?
wheresrhys
  • 22,558
  • 19
  • 94
  • 162
0
votes
2 answers

SWRL rule does not the right thing

I have an ontology wishing Protege and now I would like to implement rules. I have an individual that has a literal PANEL = "R1-2B". I like to formulate a rule that if this value is "R1-2" then this individual has the object property…
mixi
  • 19
  • 2
0
votes
1 answer

Named entities extraction with Google NL API and Open Calais API

I am trying to identify the Named entities from the text and categorize them into People, Places, and Organization. I am using Cloud Natural Language API by Google and Open Calais API to identify the named entities. When I input a text containing…
Madhura Sulgekar
  • 1
1 2 3
…
99 100