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

1969-2017
0204019692017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Information about user preferences plays a key role in automated decision making. In many domains it is desirable to assess such… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
I am delighted to see my Aarhus notes [59] on SOS, Structural Operational Semantics, published as part of this special issue. The… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
In this paper, we suggest a new mechanism for the description of the semantics of an imperative programming language, which is… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Structural Operational Semantics (SOS) provides a framework to give an operational semantics to programming and speci cation… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
For decades, the serialization constraints induced by true data dependences have been regarded as an absolute limit--the dataflow… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present a formalization of the first 100 pages of Winskel's textbook The Formal Semantics of Programming Languages in the… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
semantics form the bridge between the predictate transformation semantics and operational semantics. Hesselink, however, uses an… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Feel lonely? What about reading books? Book is one of the greatest friends to accompany while in your lonely time. When you have… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
In this paper, we introduce a calculus of communicating systems which allows for the expression and analysis of timing… (More)
Is this relevant?