On the Conversion of Programs to Decision Tables: Method and Objectives

作     者：Cavouras, John C. 

作者机构：University of Glasgow Glasgow G12 8QQ United Kingdom 

出 版 物：《Communications of the ACM》 (Commun. ACM)

年 卷 期：1974年第17卷第8期

页      面：456-462页

学科分类：0810[工学-信息与通信工程] 0808[工学-电气工程] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：debugging decision tables program optimization semantics systems analysis theory of programming 

摘      要：The problems of converting programs to decision tables are investigated. Objectives of these conversions are mainly program debugging and optimization in practice. Extensions to the theory of computation and computability are suggested. © 1974, ACM. All rights reserved.