Undefined behavior

Known as: Undefined, Nasal demon, Undefined behaviour 
In computer programming, undefined behavior (UB) is the result of executing computer code that does not have a prescribed behavior by the language… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A central concern for an optimizing compiler is the design of its intermediate representation (IR) for code. The IR should make… (More)
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2016
Highly Cited
2016
Early Glycaemic Control in Metformin Users Receiving Their First Add-On Therapy: A Population-Based Study of 4,734 People with… (More)
Is this relevant?
2015
2015
We present a ``negative'' semantics of the C11 language---a semantics that does not just give meaning to correct programs, but… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
This article studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to… (More)
Is this relevant?
Highly Cited
2013
Highly Cited
2013
This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly discarded by… (More)
Is this relevant?
2012
2012
System programming languages such as C grant compiler writers freedom to generate efficient code for a specific instruction set… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 8
  • figure 7
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present Memcheck, a tool that has been implemented with the dynamic binary instrumentation framework Valgrind. Memcheck… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We describe how 3D affine measurements may be computed from a single perspective view of a scene given only minimal geometric… (More)
  • figure 2
  • figure 1
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
1995
1995
The first volume of Springer-Verlag's Lecture Notes in Computer Science appeared in 1973, almost 22 years ago. The field has… (More)
  • table 1
Is this relevant?
Highly Cited
1973
Highly Cited
1973
Observations are shown of oscillatory and metastable behavior of flip-flops in response to logically undefined input conditions… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 2
  • figure 5
Is this relevant?