University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Grigore, Radu"

DSpace Repository

Browsing LERO - Project partner authors by Author "Grigore, Radu"

Sort by: Order: Results:

  • Janota, Mikolas; Fairmichael, Fintan; Holub, Viliam; Grigore, Radu; Charles, Julien; Cochran, Dermot; Kiniry, Joseph R. (2009)
    Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program’s parameterization and their option formats are simple. But as the ...
  • Janota, Mikolas; Grigore, Radu; Moskal, Michal (Association for Computing Machinery, 2007)
    We devised a reachability analysis that exploits code annotations and implemented it as a component of the extended static checker ESC/Java2. The component reports unchecked code and a class of errors previously undetected. ...

Search ULIR


Browse

My Account

Statistics