abstractesmaeel darabkolahi 1. roohollah torabi*21. assistant prfessor of theoloji faculty religions martyr beheshti2. master teaching educataion eslameminent god predicative qualities are among interpretation and discourse disputes that mentioned in quran and revayat. predicative qualities are those that intellect does not have clear implication in them and because of attributing god in religi...

This paper shows how probabilistic reasoning can be applied to the predicative style of programming.

We show how a collection of object-oriented concepts can be directly expressed in predicative programming [6]. We demonstrate how these features can be used in cooperation with the existing real-time and concurrency features of predicative programming in several examples, thus providing a simple integration of object-orientation, real-time, and concurrency.

We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicative programming notation [6] for algorithm refinement and for reasoning about time and space constraints on systems. We discuss the difficulty of using extended notations versus using heterogeneous notations, and cons...