Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,026,421 papers from all fields of science
Search
Sign In
Create Free Account
Undefined value
Known as:
Undefined
In computing (particularly, in programming), undefined value is a condition where an expression does not have a correct value, although it is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Array data structure
Bottom type
Computability theory
Computer programming
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
“A Girl Move”: Negotiating Gender and Technology in Chess Online and Offline
Undrah Baasanjav
2016
Corpus ID: 62980089
2009
2009
On Presuppositions in Requirements
Lin Ma
,
B. Nuseibeh
,
P. Piwek
,
A. Roeck
,
A. Willis
Second International Workshop on Managing…
2009
Corpus ID: 694101
Tacit knowledge in requirements documents can lead to miscommunication between software engineers and
Highly Cited
2008
Highly Cited
2008
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
A. Calì
,
G. Gottlob
,
M. Kifer
Description Logics
2008
Corpus ID: 2763750
The chase algorithm is a fundamental tool for query evaluation and for testing query containment under tuple-generating…
Expand
2007
2007
Photovoltaic-inverters as active filters to improve power quality in the grid. What can state-of-the-art equipment achieve?
C. Mayr
,
R. Brundlinger
,
B. Bletterie
International Conference on Electrical Power…
2007
Corpus ID: 45952053
Modern grid connected inverters offer a wide range of possibilities beyond the sole injection of active power into the grid. The…
Expand
Highly Cited
2005
Highly Cited
2005
Using Valgrind to Detect Undefined Value Errors with Bit-Precision
J. Seward
,
N. Nethercote
USENIX Annual Technical Conference, General Track
2005
Corpus ID: 9410395
We present Memcheck, a tool that has been implemented with the dynamic binary instrumentation framework Valgrind. Memcheck…
Expand
2005
2005
Reasoning About Partial Functions in the Formal Development of Programs
Cliff B. Jones
International Workshop Automated Verification…
2005
Corpus ID: 7190198
Highly Cited
2001
Highly Cited
2001
Standardized Tests And Access To American Universities
R. Atkinson
2001
Corpus ID: 71056192
The 2001 Robert H. Atwell Distinguished Lecture, delivered at the Eighty-third Annual Meeting of the American Council on…
Expand
Review
1992
Review
1992
Out-of-Print and Antiquarian Books: Guides for Reference Librarians
O. L. Shiflett
1992
Corpus ID: 111259085
The issue of evaluating old books is one that, on a functional level, has been removed from the provenance of librarians by…
Expand
1981
1981
Motor program switching inPleurobranchaea
R. Croll
,
W. Davis
Journal of Comparative Physiology
1981
Corpus ID: 21353024
Summary1.The gastropod molluskPleurobranchaea performs at least two distinct cyclic behaviours using its buccal musculature…
Expand
Highly Cited
1981
Highly Cited
1981
An Automatic Technique for Selection of Data Representations in SETL Programs
E. Schonberg
,
J. Schwartz
,
M. Sharir
TOPL
1981
Corpus ID: 18317506
Publisher Summary This chapter highlights an automatic technique for selection of data representations in SETL programs. SETL is…
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