Syntax directed editor for PASCAL.

number: 
29
English
department: 
Degree: 
Imprint: 
Computer Science
Author: 
Edmond Z. Khoshaba
Supervisor: 
Dr. Shawkat K. D.
Dr. Mazin F. N.
year: 
1993
Abstract:

Programs are not text; they are hierarchical !composition of computational structures and should be edited in an environment that consistently acknowledges and reinforce this point Syntax-Directed Editors are program editors that know the syntax of the language. With such editors it is not possible to write syntactically incorrect program. We present an attempt at the design and implementation of a Syntax-Directed Editor for PASCAL programming language. We also outline a theory of correct programs and explain how correct programs may be produced with the aid of this editor and a theorem prover. Thus a system that produces both, syntactically and semantically, correct programs is envisaged. The envisaged system operates on programs at text level only. The system is implemented on an IBM compatible personal computer ( Olivetti M240 ), using Turbo PASCAL version 6, running under MS-DOS version 3.3.