@article {El-Zawawy12-5,
	title = {New Error-recovery Techniques for Faulty-Calls of Functions},
	journal = {Computer and Information Science},
	volume = {5},
	number = {3},
	year = {2012},
	note = {<p>n/a</p>
},
	month = {May},
	pages = {67-75},
	abstract = {<p>In this paper, we introduce type systems to detect faulty calls of functions in a program. The intended meaning of the faulty call is calling a function with a miss-match to the number of its arguments. We use error-detecting semantics that when detects the faulty calls, doesn{\textquoteright}t proceed to the next state. Type systems are used in the process of analysis and in repairing. The paper presents two type systems: the safety type system which checks the safety of a given program and the repairing type system which corrects errors. The repairing process is made by replacing the faulty call of function with a correct one. In the repairing process simple interactive input/output statements are used. The interaction (input/output) helps to get the lost parameters by interacting with the user; informing him about the number of lost parameters. The user can then input these parameters.</p>
},
	attachments = {https://scholar.cu.edu.eg/sites/default/files/maelzawawy/files/el-zawawy-cis-may_2012.pdf},
	author = {Mohamed A. El-Zawawy and Nagwan M. Daoud}
}
