福建电脑
福建電腦
복건전뇌
FUJIAN COMPUTER
2004年
11期
65-66
,共2页
PAR方法%算法程序%递推关系%循环不变式
PAR方法%算法程序%遞推關繫%循環不變式
PAR방법%산법정서%체추관계%순배불변식
本文主要阐述如何运用一种系统的、统一的算法程序设计方法印PRA方法来开发正确的、高效的算法.该方法将算法设计从程序设计中分离出来,因此我们可以集中精力开发出正确的、高效率的算法.使用该方法得到正确的算法后,经过自动转换系统直接得到某一可执行语言程序.
本文主要闡述如何運用一種繫統的、統一的算法程序設計方法印PRA方法來開髮正確的、高效的算法.該方法將算法設計從程序設計中分離齣來,因此我們可以集中精力開髮齣正確的、高效率的算法.使用該方法得到正確的算法後,經過自動轉換繫統直接得到某一可執行語言程序.
본문주요천술여하운용일충계통적、통일적산법정서설계방법인PRA방법래개발정학적、고효적산법.해방법장산법설계종정서설계중분리출래,인차아문가이집중정력개발출정학적、고효솔적산법.사용해방법득도정학적산법후,경과자동전환계통직접득도모일가집행어언정서.