Search Constraints

Start Over
Filtering by: Creator Steig, Eric J. Remove constraint Creator: Steig, Eric J. Advisor Erwig, Martin Remove constraint Advisor: Erwig, Martin Committee Member Budd, Timothy Remove constraint Committee Member: Budd, Timothy

Search Results

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    the vein of random numbers [59]. Simulation languages, such as Simulink [14] and Psim-J [25], were

  • Type-correct changes — a safe approach to version control implementation

    Creator:
    Dagit, Jason
    Abstract:
    Ensuring correctness of real-world software applications is a challenging task. Testing can be used to find many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs. However, formal proof and verification techniques tend to be very heavy weight and are simply not available...
    Resource Type:
    Masters Thesis
    Full Text:
    , especially Eric Kow, Ian Lynagh, and Ganesh Sittampalam. This work was partially funded by Google Inc., by