University of Limerick Institutional Repository

Browsing by Author "Grigore, Radu"

DSpace Repository

Browsing 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; Botterweck, Goetz; Grigore, Radu; Marques-Silva, Joao (Springer-Verlag, 2010)
    When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool ...
  • 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 DSpace

Browse

My Account

Statistics