Browse by Subject "Programming Languages"

  • Becker, Aaron T. (2012-09-18)
    Historically, the creators of parallel programming models have employed two different approaches to make their models available to developers: either by providing a library with hooks for common programming languages, by ...

    application/pdf

    application/pdfPDF (2Mb)
  • Meredith, Patrick; Katelman, Michael; Meseguer, Jose; Roşu, Grigore (2010-07)
    This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of ...

    application/pdf

    application/pdfPDF (279Kb)
  • Vakilian, Mohsen (2014-09-16)
    Software rapidly evolves. A refactoring is a code change that preserves the behavior of the program. There has been much interest in automation to make refactoring more efficient and reliable. Although modern Integrated ...

    application/pdf

    application/pdfPDF (1Mb)
  • Katelman, Michael (2012-02-06)
    This dissertation perceives a similarity between two activities: that of coordinating the search for simulation traces toward reaching verification closure, and that of coordinating the search for a proof within a theorem ...

    application/pdf

    application/pdfPDF (826Kb)
  • Xu, Danqing (2015-01-21)
    Runtime specialization optimizes programs based on partial information available only at run time. It is applicable when some input data is used repeatedly while other input data varies. This technique has the potential ...

    application/pdf

    application/pdfPDF (836Kb)