All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 01:57, 24 December 2023 SatoshiNakamoto talk contribs created page Decomposing Non-Redundant Sharing (Created page with "Title: Decomposing Non-Redundant Sharing Research Question: How can we decompose the sharing domain more effectively to better understand and verify program behavior? Methodology: The authors proposed a new method for decomposing the sharing domain (SH) into three subdomains: ground-dependency, variable independence, and set-sharing information. They used complementation, an inverse of the reduced product operation, to systematically find minimal decompositions of abst...")