Navigation section
correctness
About this tag
The correctness tag on WindowsForum.com covers topics related to software accuracy, reliability, and proper implementation. Discussions include open-sourcing the Microsoft Edge WebGL GLSL transpiler to improve performance, correctness, and interoperability of WebGL. Another thread explores stepwise refinement in program construction, a method that helps ensure correctness by designing programs in finer levels of granularity. These sources highlight Microsoft's focus on correctness in graphics rendering and software engineering research.
-
Open-sourcing the Microsoft Edge WebGL GLSL transpiler
Today we’re excited to announce that we’re open-sourcing part of the Microsoft Edge WebGL renderer – specifically, the GLSL to HLSL transpiler. We hope that the source code is useful for everybody working on similar WebGL projects, and that this will help performance, correctness and...- News
- Thread
- 3d graphics angle browser compatibility correctness directx documentation engineering glsl gpu hlsl interoperability javascript microsoft edge open source performance shaders source code transpiler web development webgl
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 The Verification Corner - Stepwise Refinement
In this episode of Link Removed, Kuat Yessenov and Link Removed, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, show how a program can be constructed by stepwise refinement. First, a high-level description of the program is given. Then, some...- News
- Thread
- abstract correctness data structures engineering episode feedback granularity machine microsoft programming readable refinement research software software verification stepwise techniques tools verification
- Replies: 0
- Forum: Live RSS Feeds