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
2010
Highly Cited
2010
Dynamically generated $N^{*}$ and $\Lambda^*$ resonances in the hidden charm sector around 4.3 GeV
The interactions of D-bar{Sigma}{sub c}-D-bar{Lambda}{sub c}, D-bar*{Sigma}{sub c}-D-bar*{Lambda}{sub c}, and related strangeness… 
Highly Cited
2008
Highly Cited
2008
Spontaneous Emission and Characteristics of Staggered InGaN Quantum-Well Light-Emitting Diodes
A novel gain media based on staggered InGaN quantum wells (QWs) grown by metal-organic chemical vapor deposition was demonstrated… 
Highly Cited
2008
Highly Cited
2008
Type-II InGaN-GaNAs quantum wells for lasers applications
conventional InGaN /GaN QW is the large spontaneous and piezoelectric polarization fields in QW. These lead to charge separation… 
Highly Cited
2002
Highly Cited
2002
Surface effects on angular distributions in X-ray-photoelectron spectroscopy
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
1999
Highly Cited
1999
Cross-Section Evaluations to 150 MeV for Accelerator-Driven Systems and Implementation in MCNPX
New accelerator-driven technologies that utilize spallation neutrons, such as the production of tritium and the transmutation of… 
Highly Cited
1999
Highly Cited
1999
Linear combination of bulk bands method for large-scale electronic structure calculations on strained nanostructures
A {open_quotes}strained linear combination of bulk bands{close_quotes} method is introduced for calculating the single-particle… 
Highly Cited
1993
Highly Cited
1993
Equilibrium theory of the Stranski-Krastanov epitaxial morphology
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
1986
Highly Cited
1986
D-PATR: A Development Environment for Unification-Based Grammars
I)-PATR is a development environment for unification-based grammars on Xerox l i00 series work stations. It is based on the PATR… 
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)