• Domain Restricted Types for Improved Code Correctness 

      Fløysvik, Nicolas (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06)
      ReDi is a new static analysis tool for improving code correctness. It targets the C# language and is a .NET Roslyn live analyzer providing live analysis feedback to the developers using it. ReDi uses principles from formal ...