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.
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
Review
2004
Review
2004
The OWL Web Ontology Language is designed for use by applications that need to process the content of information instead of just… Expand
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
Review
2003
Review
2003
  • A. Widjaja
  • IEEE Transactions on Neural Networks
  • 2003
  • Corpus ID: 7406938
Chapters 2–7 make up Part II of the book: artificial neural networks. After introducing the basic concepts of neurons and… Expand
Review
1996
Review
1996
We review the dynamical mean-field theory of strongly correlated electron systems which is based on a mapping of lattice models… Expand
  • table I
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
1990
Highly Cited
1990
This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus… Expand
Highly Cited
1989
Highly Cited
1989
  • J. Pearl
  • Morgan Kaufmann series in representation and…
  • 1989
  • Corpus ID: 32583695
From the Publisher: Probabilistic Reasoning in Intelligent Systems is a complete andaccessible account of the theoretical… Expand
Highly Cited
1988
Highly Cited
1988
Description: Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations… Expand
Highly Cited
1987
Highly Cited
1987
  • D. Harel
  • Sci. Comput. Program.
  • 1987
  • Corpus ID: 13380874
We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the… Expand
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