Browsing UiS Brage by Author "Fløysvik, Nicolas"
Now showing items 1-1 of 1
-
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 ...