We present a transformational approach to program verification and software model checking that uses three main ingredients: (i) Constraint Logic Programming (CLP), (ii) metaprogramming and program specialization, and (iii) proof by transformation. (i) Constraints are used for representing in a compact way (finite or infinite) sets of values or memory states, and logic is used for expressing pr...

This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is different from the specialization operations performed by algorithms for partial evaluation, supercompilation, bifurcation, and deforestation. To study the relationship between slicing and these operations in a simplifie...

production of electricity for promotion of people’s welfares is inevitable.there are about 54000 mw of various power plants in iran. the type of power plants includes gas, steam, combined, hydro and a very minute amount of wind mills. the per capita electricity production is about 2200 kwh. power plants can impose adverse environmental impacts during construction and utilization phases. envir...

aims: adolescence is one the most precarious periods of life, concerning the drug abuse. the social cost of the drug abuse and injury among adolescents is extraordinary and requires intervention. the theory of planned behavior (tpb) is perhaps the most influential theory for prediction of social and health behaviors including drug abuse. this study aimed at designing and implementing a curricul...

audiovisual material accompanied by interlingual subtitles is a powerful pedagogical tool which can help improve the vocabulary learning of second-language learners. this study was intended to determine whether or not the mode (standard and reversed) of subtitling affects the incidental vocabulary acquisition of iranian l2 learners while watching tv programs. forty-five participants were random...

background: studies suggest that family caregivers of hemodialysis patients experience a high level of burden, which could lead to numerous physical and psychological problems. despite the need for adequate training and support, these caregivers are mostly neglected, and few studies have been performed in this regard. aim: to evaluate the effect of educational programs on the home care of hemod...

introduction: at the end of their education, nursing students have to acquire the minimum capabilities, essential for their professional job. the aim of this study was to determine the achievement of minimum learning requirements by midwifery students in school of nursing and midwifery of isfahan university of medical sciences. methods: a descriptive study as an educational evaluation based on ...

objectives: any form of disability is considered a critical factor having significant effects on a family. stress is the main result of such effects on parents. according to the classical procedure, the mothers play a major role as child caregiver, so they experience more stress than other members of the family. the goal of this study was to develop and assess the role of the de-stress training...

abstract background: nurses face a great amount of stress that can threaten their health and reduce their motivation. nurses’ present working conditions lead to an increase in emotional pressures and depression. conducting a study on this seems to be necessary, with regard to nurses’ stressful working conditions, in order to take steps toward achieving different and non-meditational treatments ...