Development of Multi-Context Reasoning Infrastructural Systems for Algebraic Software

点击翻译按钮获取中文摘要

In the field of algebraic computer software called the term rewriting systems, this project has successfully developed a new infrastructural reasoning system which solves a lot of problems efficiently. The problems include the completion problems for transforming programs into those which always terminate and output the unique solution. Also included is the automated inductive theorem proving for proving crucial properties to be satisfied by programs. The key technology is the multi-context reasoning which allows very efficient simulation of parallel execution of multiple processes using the special data structure called nodes and heuristic search.