A formal approach to program inversion

COOPERATION: 1990 ACM EIGHTEENTH ANNUAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS（1990）

引用 6|浏览0

暂无评分

摘要

In this paper, we introduce a formal approach to inverting programs, which is developed in [2]. We demonstrate its usefulness in programming by applying it to develop an in-place algorithm for the so-called LU-multiplication, which might be otherwise hard to find.

查看译文

关键词

in-place algorithm,formal approach,program inversion,so-called lu-multiplication,inverting program

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要