Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
The growing interest in both the automation of machine learning and deep learning has inevitably led to the development of a wide… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2013
Highly Cited
2013
In Data Mining, the usefulness of association rules is strongly limited by the huge amount of delivered rules. To overcome this… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The formalism of probabilistic graphical models provides a unifying framework for capturing complex dependencies among random… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
FFTW is an implementation of the discrete Fourier transform (DFT) that adapts to the hardware in order to maximize performance… Expand
  • figure 3
  • figure 1
  • figure 4
  • figure 2
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Particular focus in this paper is on quantum information protocols, which exploit quantum-mechanical effects in an essential way… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
  • W. V. Aalst
  • Journal of Circuits, Systems, and Computers
  • 1998
  • Corpus ID: 7538284
Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1989
Highly Cited
1989
This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Description: Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
 
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Describes and discusses the use of theoretical models as an alternative to experiment in making accurate predictions of chemical… Expand
  • figure 1
  • table I
  • figure 2
  • figure 1
  • table I
Is this relevant?