Login / Signup

Inferring Static Non-monotone Size-aware Types Through Testing.

Ron van KesterenOlha ShkaravskaMarko C. J. D. van Eekelen
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
  • website
  • upper bound
  • data mining
  • standard deviation
  • fixed size