Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,391,230 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
1999
Highly Cited
1999
AHAM: a Dexter-based reference model for adaptive hypermedia
P. D. Bra
,
G. Houben
,
Hongjing Wu
UK Conference on Hypertext
1999
Corpus ID: 2900081
Hypermedia applications offer users the impression that there are many meaningful ways to navigate through a large body of…
Expand
Highly Cited
1997
Highly Cited
1997
Multilayered media Green's functions in integral equation formulations
K. Michalski
,
J. Mosig
1997
Corpus ID: 21835045
A compact representation is given of the electric- and magnetic-type dyadic Green's functions for plane-stratified, multilayered…
Expand
Highly Cited
1996
Highly Cited
1996
Exceeding the dataflow limit via value prediction
Mikko H. Lipasti
,
John Paul Shen
Proceedings of the 29th Annual IEEE/ACM…
1996
Corpus ID: 1122747
For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit-the dataflow…
Expand
Highly Cited
1994
Highly Cited
1994
Formalizing architectural connection
R. Allen
,
D. Garlan
Proceedings of 16th International Conference on…
1994
Corpus ID: 9208543
As software systems become more complex the overall system structure - or software architecture - becomes a central design…
Expand
Highly Cited
1989
Highly Cited
1989
Band lineups and deformation potentials in the model-solid theory.
Van de Walle Cg
1989
Corpus ID: 44177594
Semiconductor heterojunctions and superlattices have recently shown tremendous potential for device applications because of their…
Expand
Highly Cited
1984
Highly Cited
1984
Domain-Independent Planning: Representation and Plan Generation
D. Wilkins
Artificial Intelligence
1984
Corpus ID: 18584825
Highly Cited
1979
Highly Cited
1979
CORRIGENDUM: Momentum-space formalism for the total energy of solids
J. Ihm
,
A. Zunger
,
M. Cohen
1979
Corpus ID: 118606084
A momentum-space formalism for calculating the total energy of solids is derived. This formalism is designed particularly for…
Expand
Highly Cited
1973
Highly Cited
1973
Coupled-mode theory for guided-wave optics
A. Yariv
1973
Corpus ID: 9582076
The problem of propagation and interaction of optical radiation in dielectric waveguides is cast in the coupled-mode formalism…
Expand
Highly Cited
1970
Highly Cited
1970
SOME BASIC FORMALISMS IN NUMERICAL VARIATIONAL ANALYSIS
Y. Sasaki
1970
Corpus ID: 17364612
Abstract This study aims at the theoretical development of a method of “four-dimensional analysis,” namely the numerical…
Expand
Highly Cited
1969
Highly Cited
1969
PHOTOPEAK METHOD FOR THE COMPUTER ANALYSIS OF GAMMA-RAY SPECTRA FROM SEMICONDUCTOR DETECTORS
J. Routti
,
S. Prussin
1969
Corpus ID: 55493868
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)
ACCEPT & CONTINUE