Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We present the HOLCF-Prelude, a formalization of a large part of Haskell's standard prelude in Isabelle/HOLCF. Applying this… Expand
2011
2011
The environment sensing through visual perception can be obtained by an efficient and reliable landmark modelling. This paper… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
2009
2009
Tacit knowledge in requirements documents can lead to miscommunication between software engineers and 
  • table 1
Highly Cited
2008
Highly Cited
2008
The chase algorithm is a fundamental tool for query evaluation and for testing query containment under tuple-generating… Expand
  • figure 1
  • figure 2
2007
2007
Modern grid connected inverters offer a wide range of possibilities beyond the sole injection of active power into the grid. The… Expand
  • table I
  • figure 1
  • figure 2
  • figure 3
  • figure 5
Highly Cited
2005
Highly Cited
2005
We present Memcheck, a tool that has been implemented with the dynamic binary instrumentation framework Valgrind. Memcheck… Expand
  • table 1
  • table 2
2004
2004
Summary1.The gastropod molluskPleurobranchaea performs at least two distinct cyclic behaviours using its buccal musculature… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Highly Cited
2001
Highly Cited
2001
The 2001 Robert H. Atwell Distinguished Lecture, delivered at the Eighty-third Annual Meeting of the American Council on… Expand
Highly Cited
1981
Highly Cited
1981
Publisher Summary This chapter highlights an automatic technique for selection of data representations in SETL programs. SETL is… Expand