Sharing is Caring

نویسندگان

Dejan Jovanović

Clark Barrett

چکیده

One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing the arrangement of the variables shared by the individual theories. This paper presents a reformulation of the Nelson-Oppen method that takes into account explicit equality propagation and can ignore pairs of shared variables that the theories do not care about. We show the correctness of the new approach and present care functions for the theories of uninterpreted functions and the theory of arrays. The effectiveness of the new method is illustrated by experimental results demonstrating a dramatic performance improvement on benchmarks combining arrays and bit-vectors.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

[Differences in attitude toward patient-centeredness in patients and physicians].

PURPOSE There have been studies on the patient-centeredness of medical students and physicians in South Korea, but no result has presented the patient-centered attitude of patients and doctors. So, this study intended to compare the attitudes of patients and doctors toward the roles that patients and physicians should play in the health care process. METHODS One hundred and fifteen doctors an...

متن کامل

Internalizing the concept of caring: an examination of student perceptions when nurses share their stories.

Caring should be incorporated in the curriculum and the focus of nursing education. However, measurement of nurses' perceptions of caring abilities remains an area that is not well explored. This pilot study explored nursing students' perceptions of caring and their ability to form caring relationships with clients after hearing clinical nurses discuss their own caring experiences. Fourteen nur...

متن کامل

مقایسه دیدگاه بیماران و اعضای هیأت علمی بالینی دانشکده پزشکی دانشگاه علوم پزشکی بابل در خصوص بیمارمحوری در ارتباط پزشک و بیمار با استفاده از پرسشنامه PPOS

سابقه و هدف: مهارتهای ارتباطی مؤثر با افزایش رضایت پزشک و بیمار پیوند محکمی دارد که موجب دستاوردهای مثبت بهداشتی- درمانی برای بیمار میشود. پزشک محور و بیمار محور دو سبک عمده طبابت می باشند. این مطالعه به منظور مقایسه دیدگاه بیماران و اعضاء هیأت علمی بالینی دانشگاه علوم پزشکی بابل، در خصوص بیمار محوری در ارتباط پزشک و بیمار انجام شد.مواد و روشها: این مطالعه مقطعی بر روی 72 عضو هیأت علمی بالینی د...

متن کامل

مشارکت مددجوی با ناتوانی حرکتی در مراقبت ، از دیدگاه مصدومین ارتوپدی حوادث ترافیکی :یک تجزیه و تحلیل مفهومی

Background: Collaboration of patients in caring is regarded as a gold standard in professional care associated with modern nursing. Considering the complexity of the concept, it is imperative to analyze caring of patients with motor disability caused by traffic accidents. Materials and Methods: This is a qualitative study to analyze the concept of collaboration in caring for traffic casualties...

متن کامل