Semantics (computer science)

Known as: Formal semantics of programming languages, Programming language semantics, Semantics of programming languages 
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1939-2018
01000200019392017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
We describe an object detection system based on mixtures of multiscale deformable part models. Our system is able to represent… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper describes a discriminatively trained, multiscale, deformable part model for object detection. Our system achieves a… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In this paper, we present Pellet: a complete and capable OWL-DL reasoner with acceptable to very good performance, extensive… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The ability to communicate is one of the salient properties of agents. Al hough a number of agent communication languages (ACLs… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
This paper describesfoil, a system that learns Horn clauses from data expressed as relations.foil is based on ideas that have… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 5
Is this relevant?
Highly Cited
1989
Highly Cited
1989
One conventional tool for interpolating surfaces over scattered data, the thin-plate spline, has an elegant algebra expressing… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
In many contexts, humans often represent their own “neighborhood” in great detail, yet only major landmarks further away. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 8
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Semantic analysis of programs is essential in optimizingcompilers and program verification systems. It encompasses dataflow… (More)
Is this relevant?