Co-operative research on theoretical foundations of computer programs

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

Owing to each of research fellows, good research results are established on subjects of this research project. Some of them are listed in the following.1.Logic : a formal derivation of the decidability of the theory SA,extending intuitionistic linear logic, the finite model property for BCK and BCIW,algebraic semantics for predicate logic, decidability and finite model property of substructural logics, a new formalization of Feferman's system, natural proofs in automated proving, validity verification of knowledge predicats.2.Theory of programs : locomorphism analytical equivalence theory, analysis of a real time problem in a software/hardware system in two ways using nu-conversion and by tense arithmetic, literal dependence net in concurrent logic programming environment, a typed lambda-calculus of proving-by-example, a transformation method for dynamic-sized tabulation, programming by example.3.Programming : biding time analysis for data type specialization, programming techniques for effective use of pipe-line and cache, efficiency of computing determinants by a fraction-free processor.4.Graph theory : graph decomposition with prescribed vertices, twist number of complete bipartite praphs.5.Artificial inteligence : a mathematical theory of machine discovery from facs, formalization of planar graphs, analysis methods and tools of expression in music performances.