Browse Research and Tech Reports - Computer Science by Subject "Formal systems"

  • Popescu, Andrei; Rosu, Grigore (2005-05)
    We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ib, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and ...

    application/pdf

    application/pdfPDF (332kB)
  • d'Amorim, Marcelo; Rosu, Grigore (2005-03)
    We present a technique for generating efficient monitors for Omega-regular-languages. We show how Buchi automata can be reduced in size and transformed into special, statistically optimal nondeterministic finite state ...

    application/pdf

    application/pdfPDF (284kB)
  • Serbanuta, Traian Florin; Rosu, Grigore (2004-12)
    Conditional rewrite rules are notorious for being difficult to implement in rewrite engines. This is because, like in the case of function calls in programming language implementations, rewrite engines need to "freeze" the ...

    application/pdf

    application/pdfPDF (257kB)