Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
ABC scoreAbstract data typeAbstract interpretationAbstract machine

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
RECORD: an open platform to build, evaluate and simulate integrated models of farming and agro-ecosystems.
The rapid change in the agricultural industry requires the development of new methods of production to guarantee sustainable… 
Highly Cited
2005
Highly Cited
2005
Dealing with contract violations: formalism and domain specific language
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the… 
Highly Cited
2004
Highly Cited
2004
3D quantum modeling and simulation of multiple-gate nanowire MOSFETs
The electronic transport in multiple-gate devices is theoretically investigated at ultimate cross-section channel limit by… 
Highly Cited
2003
Highly Cited
2003
Itinerant ferromagnetism in heterostructured C/BN nanotubes
Using ab initio local spin-density-functional formalism, we study the occurrence of spin polarization in quasi-one-dimensional… 
Review
2001
Review
2001
WIYN Open Cluster Study. X. The K-Band Magnitude of the Red Clump as a Distance Indicator
In an effort to improve the utility of the helium-burning red clump luminosity as a distance indicator, we explore the… 
Highly Cited
2000
Highly Cited
2000
Calculation of atomic integration data
The calculation of average properties of atoms in molecules and interatomic surfaces is a difficult problem that requires the… 
Highly Cited
2000
Highly Cited
2000
Quantum mechanical canonical rate theory: A new approach based on the reactive flux and numerical analytic continuation methods
We present the reactive flux analytic continuation (RFAC) method, based on the quantum reactive flux formalism combined with a… 
Highly Cited
1990
Highly Cited
1990
Density profile of terminally anchored polymer chains: a Monte Carlo study
We study a system of a large number of polymer chains terminally anchored or end-grafted on a flat surface with a thre… 
Highly Cited
1990
Highly Cited
1990
Fast methods for the CELP speech coding algorithm
Special fast procedures for the code excited linear predictive coding (CELP) algorithm have been developed to make implementation… 
Highly Cited
1966
Highly Cited
1966
Syntax macros and extended translation
A translation approach is described which allows one to extend the syntax and semantics of a given high-level base language by… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)