Blar i UiS Brage på forfatter "Fløysvik, Nicolas"
-
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 ...