APPLICABILITY OF PROGRAM SCHEMA RESULTS TO PROGRAMS

被引：29

作者：

WEYUKER, EJ

机构：

[1] Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York

来源：

INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES | 1979年 / 8卷 / 05期

关键词：

optimization theory; Program schema; program testing;

D O I：

10.1007/BF00995175

中图分类号：

G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];

学科分类号：

1205 ; 120501 ;

摘要：

Several classes of programs, which are the analogues of previously investigated classes of program schemas, are defined. Decidability and translatability questions are considered for these classes of programs, as well as the applicability of these results to the theories of optimization and program testing. The usefulness of the schema model is studied by considering the inheritability of schema properties by programs, and conversely, the inheritability of program properties by schemas. © 1979 Plenum Publishing Corporation.

引用

页码：387 / 403

页数：17