Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,258,466 papers from all fields of science
Search
Sign In
Create Free Account
Sequence point
Known as:
Sequence points
A sequence point defines any point in a computer program's execution at which it is guaranteed that all side effects of previous evaluations will…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
C syntax
C++
C++11
C99
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
State-Frequency Memory Recurrent Neural Networks
Hao Hu
,
Guo-Jun Qi
International Conference on Machine Learning
2017
Corpus ID: 6272901
Modeling temporal sequences plays a fundamental role in various modern applications and has drawn more and more attentions in the…
Expand
2015
2015
A synthetic ice core approach to estimate ion relocation in an ice field site experiencing periodical melt: a case study on Lomonosovfonna, Svalbard
C. Vega
,
V. Pohjola
,
+7 authors
C. Bøggild
2015
Corpus ID: 54584700
Abstract. Physical and chemical properties of four different ice cores (LF-97, LF-08, LF-09 and LF-11) drilled at Lomonosovfonna…
Expand
2014
2014
3D people surveillance on range data sequences of a rotating Lidar
C. Benedek
Pattern Recognition Letters
2014
Corpus ID: 33553450
2014
2014
An operational and axiomatic semantics for non-determinism and sequence points in C
R. Krebbers
ACM-SIGACT Symposium on Principles of Programming…
2014
Corpus ID: 2297600
The C11 standard of the C programming language does not specify the execution order of expressions. Besides, to make more…
Expand
2014
2014
FunKons: Component-Based Semantics in K
P. Mosses
,
Ferdinand Vesely
Workshop on Rewriting Logic and Its Applications
2014
Corpus ID: 7495235
Modularity has been recognised as a problematic issue of programming language semantics, and various semantic frameworks have…
Expand
2012
2012
A cascade filter for pulse wave baseline drift elimination
Luo Kan
,
Liao Jianqing
,
Wu Jianfeng
,
Xu Gaozhi
International Congress on Image and Signal…
2012
Corpus ID: 14764444
Analyzing the pulse wave is an important method to diagnosis the status of human health. Generally the directly acquired signal…
Expand
Highly Cited
2012
Highly Cited
2012
Bayesian filter based behavior recognition in workflows allowing for user feedback
D. Kosmopoulos
,
N. Doulamis
,
A. Voulodimos
Computer Vision and Image Understanding
2012
Corpus ID: 206002
2009
2009
Integrated stratigraphy of the Early Miocene lacustrine deposits of Pag Island (SW Croatia): Palaeovegetation and environmental changes in the Dinaride Lake System
G. Jiménez-Moreno
,
A. Leeuw
,
+4 authors
Alan Vranjković
2009
Corpus ID: 55506096
2000
2000
A study of evaluation order semantics in expressions with side effects
N. Papaspyrou
,
Dragan Macos
Journal of functional programming
2000
Corpus ID: 14742470
The presence of side effects in even a very simple language of expressions gives rise to a number of semantic questions. The…
Expand
Highly Cited
2000
Highly Cited
2000
A Formal Semantics for the C Programming Language
N. Papaspyrou
2000
Corpus ID: 54099047
C together with its descendants represents a strong and indisputable status quo in the current software industry. It is a very…
Expand
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