Detection of logical errors in decision table programs

Ibramsha, M. ; Rajaraman, V. (1978) Detection of logical errors in decision table programs Communications of the ACM, 21 (12). pp. 1016-1025. ISSN 0001-0782

Full text not available from this repository.

Official URL: http://portal.acm.org/citation.cfm?id=359663

Related URL: http://dx.doi.org/10.1145/359657.359663

Abstract

In this paper an algorithm to detect logical errors in a limited-entry decision table and in loop-free programs with embedded decision tables is developed. All the conditions in the decision tables are assumed to be inequalities or equalities relating linear expressions. It is also assumed that actions in a decision table are linear in variables which occur in the condition stub of the decision table (or tables) to which control is transferred from the table. The algorithm is based on determining whether a set of linear inequalities has or does not have a solution. The algorithm described in the paper is implemented in Fortran IV.

Item Type:Article
Source:Copyright of this article belongs to Association for Computing Machinery.
ID Code:38351
Deposited On:29 Apr 2011 07:31
Last Modified:22 Nov 2011 09:59

Repository Staff Only: item control page