Login / Signup
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.
Robert Dewar
Olivier Hainque
Dirk Craeynest
Philippe Waroquiers
Published in:
Ada-Europe (2002)
Keyphrases
</>
arithmetic constraints
relevant variables
variable selection
causal relationships
random variables
input variables
real time
information retrieval
learning algorithm
np hard
scheduling problem
graphical models
state variables
independent variables
universally quantified