ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Development of a structured program for conversion to prenex normal form

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.
Official URL: http://journal.library.iisc.ernet.in/archives.html

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
Additional Information: Copyright of this article belongs to J Indian Inst Science.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)
Date Deposited: 14 Dec 2010 11:28
Last Modified: 14 Dec 2010 11:28
URI: http://eprints.iisc.ernet.in/id/eprint/34435

Actions (login required)

View Item View Item