Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email jordan.hale@uwaterloo.ca as soon as possible. We are very sorry for the inconvenience.

Now showing items 1-4 of 4

    • Bounded Model Checking of Industrial Code 

      Priya, Siddharth (University of Waterloo, 2021-09-14)
      Abstract: Bounded Model Checking(BMC) is an effective and precise static analysis technique that reduces program verification to satisfiability (SAT) solving. However, with a few exceptions, BMC is not actively used in ...
    • Gradual C Programming for Typed Lua 

      Turas, Rafi (University of Waterloo, 2019-01-22)
      The work presented in this thesis deals with the problem of enhancing the performance of dynamically-typed programming languages by integrating features from statically-typed programming languages. Statically-typed languages ...
    • Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics 

      Turcotte, Alexi (University of Waterloo, 2018-08-31)
      Foreign function interfaces (FFIs) are commonly used as a way to mix programming languages. In such systems, a program written in a host language calls functions written in a guest language from within the same program. ...
    • Resource Management and Tuples in CⱯ 

      Schluntz, Robert (University of Waterloo, 2017-05-01)
      CⱯ is a modern, non-object-oriented extension of the C programming language. This thesis addresses several critical deficiencies of C, notably: resource management, a limited function-return mechanism, and unsafe variadic ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages