Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,168,161 papers from all fields of science
Search
Sign In
Create Free Account
Semantics (computer science)
Known as:
Formal semantics of programming languages
, Programming language semantics
, Semantics of programming languages
Expand
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ABC score
Abstract data type
Abstract interpretation
Abstract machine
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Supplementary material for ” Evidence for multiple superconducting gaps in optimally doped BaFe
K. W. Kim
,
M. Rössle
,
A. Dubroka
,
V. K. Malik
,
T. Wolf
,
C. Bernhard
2010
Corpus ID: 59028174
The characteristic features of a BCS-type superconductor with scattering rate γ much larger than the superconducting energy gap…
Expand
2010
2010
TESLA: Translation Evaluation of Sentences with Linear-Programming-Based Analysis
Chang Liu
,
Daniel Dahlmeier
,
H. Ng
WMT@ACL
2010
Corpus ID: 8882144
We present TESLA-M and TESLA, two novel automatic machine translation evaluation metrics with state-of-the-art performances…
Expand
2002
2002
Covariant Quantization of the Supermembrane
N. Berkovits
2002
Corpus ID: 16025962
By replacing ten-dimensional pure spinors with eleven-dimensional pure spinors, the formalism recently developed for covariantly…
Expand
1997
1997
A Graphical Description Technique for Communication in Software Architectures
M. Broy
,
C. Hofmann
,
Ingolf H. Krueger
,
M. Schmidt
1997
Corpus ID: 6353549
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component…
Expand
1996
1996
A Roger Fry Reader
R. Fry
,
C. Reed
1996
Corpus ID: 191843439
Acknowledgments Editor's Note Introduction 1: Before Formalism 2: Forming Formalism: The Post-Impressionist Exhibitions 3…
Expand
Highly Cited
1994
Highly Cited
1994
Spectroscopic determination of the intermolecular potential energy surface for Ar–NH3
C. Schmuttenmaer
,
R. C. Cohen
,
R. Saykally
1994
Corpus ID: 11017296
The three‐dimensional intermolecular potential energy surface (IPS) for Ar–NH3 has been determined from a least‐squares fit to 61…
Expand
Highly Cited
1990
Highly Cited
1990
Fast methods for the CELP speech coding algorithm
W. Kleijn
,
D. Krasinski
,
R. H. Ketchum
IEEE Transactions on Acoustics Speech and Signal…
1990
Corpus ID: 3142985
Special fast procedures for the code excited linear predictive coding (CELP) algorithm have been developed to make implementation…
Expand
Highly Cited
1985
Highly Cited
1985
High-Power Microwave Generation from a Large-Orbit Gyrotron in Vane and Hole-and-Slot Conducting Wall Geometries
W. Lawson
,
W. Destler
,
C. Striffler
IEEE Transactions on Plasma Science
1985
Corpus ID: 19560185
The production of high-power microwave radiation from a large-orbit gyrotron in azimuthally periodic boundary systems is studied…
Expand
Review
1974
Review
1974
Propagation Theory and Calculations at Lower Extremely Low Frequencies (ELF)
R. Pappert
,
W. Moler
IEEE Transactions on Communications
1974
Corpus ID: 62467414
Propagation theory along the lines of Budden's terrestrial waveguide formalism is reviewed. Special emphasis is placed on its…
Expand
Highly Cited
1956
Highly Cited
1956
OPTICAL MODEL POTENTIAL FOR PION-NUCLEUS SCATTERING
R. M. Frank
,
J. Gammel
,
K. Watson
1956
Corpus ID: 120834725
Our object is to carry out an optical model study of the elastic scattering of pions from nuclei using the multiple scattering…
Expand