We present an extension of the DIVINE software model checker to support programs with exception handling. The extension consists of two parts, a language-neutral implementation of the LLVM exception-handling instructions, and an adaptation of the C++ runtime for the DIVINE/LLVM exception model. This constitutes an important step towards support of both the full C++ specification and towards ver...

The Christian Church has traditionally held that the inspiration of Holy Scripture is verbal, plenary, and confluent. But such an affirmation may seem to be incoherent. For if Scripture is the product of both divine and human free agency, then it seems impossible that God should have sufficient control of the various authors of Scripture so as to produce a Word that is verbally and plenarily hi...

Fasting effects on health and well-being. Although this effects were studied based on biological view, however there is a different view based on our Islamic teachings. Fasting is related to human virtues such as piety and cautious. These virtues are related to others characteristics in Islamic view which show the holistic view of Islam on health. In order to answer this question refer to Holy ...

OBJECTIVE To examine the protective effects of racial identity and Africentric worldview on the association between racial discrimination and blood pressure (BP). METHODS Two hundred ten African American young adults completed questionnaires assessing demographic characteristics, prior racial discrimination experiences, racial identity, and Africentric worldview. Resting BP was assessed befor...

Physical science, it appears, leaves no place for divine action. Modern science presupposes that the universe is a closed physical system, that interactions are regular and lawlike, that all causal histories can be traced, and that anomalies will ultimately have physical explanations. But traditional assertions of God acting in the world conflict with all four of these conditions: they presuppo...

C LAR ITAS | Journal of Dialogue & Culture | Vol. 5, No. 1 (March 2016) Claritas: Journal of Dialogue and Culture, Vol. 5, No. 1 (March 2016) 27–40 © 2016 to a Trinitarian dynamic in both the letter and Chiara’s experience. Finally, he looks more deeply into the source of this design, namely, the glory of God from which everything irradiates and to which everything converges as it is expressed ...

Around 1850 NOlWay experienced a spiritual awakening which motivated an important social awakening. People began to see the need to .care for the sick and the poor. The very thought of ~omen caring for sick people outside of their own ' families, and furthermore establishing a training course to do so, was unheard of and unacceptable in NOlWegian society at that time. However, many prayer group...