Search results

  • CITADEL
    ...invariant detector. It is being implemented as a Master's project by Nadia Polikarpova supervised by Ilinca Ciupa (ETH). Nadia: Daikon can process values of only few types: five scalar types (boolean,
    28 KB (4,306 words) - 05:39, 29 April 2008
  • Touch of class typos
    ===C An introduction to C++ (from material by Nadia Polikarpova)===
    171 KB (26,573 words) - 01:56, 17 March 2009
Retrieved from "https://dev.eiffel.com/Special:Search/Nadia_Polikarpova"