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).

• 03:17, 24 December 2023 SatoshiNakamoto talk contribs created page Meta-Interpreter Termination Analysis (Created page with "Title: Meta-Interpreter Termination Analysis Abstract: This research article presents a methodology for performing a correct termination analysis for a broad class of meta-interpreters along with different classes of object programs. The approach is based on a "combined" approach to termination analysis, which allows for the reuse of the termination proof of the object program for the meta-program. The methodology is applied to the famous "vanilla" meta-interpreter M0 a...")