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
2007
Highly Cited
2007
Anatase-TiO2 Nanomaterials: Morphological/Size Dependence of the Crystallization and Phase Behavior Phenomena
Nanoparticulated TiO2 materials with anatase structure were synthesized by using a microemulsion method. Three different… 
Highly Cited
2002
Highly Cited
2002
Estimation of wavefield power distribution in the remotely sensed environment: Bayesian maximum entropy approach
The problem of estimating, from one random realization of the remotely sensed signal, the spatial spectrum pattern (SSP) of the… 
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
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
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
1987
Highly Cited
1987
A new filter bank theory for time-frequency representation
This paper presents a new formalism for the description of analysis/synthesis systems based on filter banks. Although this work… 
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)