Chakrapani, N and Rangaswamy, SV and Tikekar, VG (1979) Development of a structured program for conversion to prenex normal form. In: Journal of the Indian Institute of Science, 61 (5). pp. 123-133.
Full text not available from this repository. (Request a copy)Abstract
The method of structured programming or program development using a top-down, stepwise refinement technique provides a systematic approach for the development of programs of considerable complexity. The aim of this paper is to present the philosophy of structured programming through a case study of a nonnumeric programming task. The problem of converting a well-formed formula in first-order logic into prenex normal form is considered. The program has been coded in the programming language PASCAL and implemented on a DEC-10 system. The program has about 500 lines of code and comprises 11 procedures.
| Item Type: | Journal Article |
|---|---|
| Publication: | Journal of the Indian Institute of Science |
| Publisher: | J Indian Inst Science |
| Additional Information: | Copyright of this article belongs to J Indian Inst Science. |
| Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
| Date Deposited: | 14 Dec 2010 11:28 |
| Last Modified: | 14 Dec 2010 11:28 |
| URI: | http://eprints.iisc.ac.in/id/eprint/34435 |
Actions (login required)
 |
View Item |
