Browse Dept. of Computer Science by Subject "K"

  • Ilseman, Michael; Ellison, Chucky M.; Rosu, Grigore (2010-12-14)
    This paper describes a completely automated method for generating efficient and competitive interpreters from formal semantics expressed in Rewriting Logic. The semantics are compiled into OCaml code, which then acts as ...

    application/pdf

    application/pdfPDF (257kB)
  • Rosu, Grigore (2016-02-20)
    Here is a list of open problems and challenges that I (Grigore Rosu) am interested in solving, in no particular order. While we are doing our best to keep this list actual, it may well be the case that some of the ...

    application/pdf

    application/pdfPDF (1MB)
  • Rosu, Grigore (2017-03-27)
    Here is a 2017 update of the list of open problems and challenges that I (Grigore Rosu) am interested in solving, in no particular order. While we are doing our best to keep this list actual, it may well be the case that ...

    application/pdf

    application/pdfPDF (810kB)