Browse Research and Tech Reports - Computer Science by Subject "formal semantics"

  • Chen, Xiaohong; Rosu, Grigore (2019-07-31)
    This paper proposes a logic for programming languages, which is both simple and expressive, to serve as a foundation for language semantics frameworks. Matching mu-logic has been recently proposed as a unifying foundation ...

    application/pdf

    application/pdfPDF (966kB)
  • Ellison, Chucky M.; Rosu, Grigore (2011-11-22)
    This paper describes an executable formal semantics of C expressed using a formalism based on term rewriting. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully ...

    application/pdf

    application/pdfPDF (591kB)
  • Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Rosu, Grigore (2019-07-16)
    This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in ...

    application/pdf

    application/pdfPDF (349kB)
  • 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)