Value Equality Analysis in C Program API Conformance Validation
نویسندگان
چکیده
منابع مشابه
a swot analysis of the english program of a bilingual school in iran
با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...
15 صفحه اولThe value of equality∗
Over the years, egalitarian philosophers have made some challenging claims about the nature of egalitarianism. They have argued that the Rawlsian leximin principle is not an egalitarian idea; that egalitarian reasoning should make us reject the Pareto principle; that the numbers should not count within an egalitarian framework; that egalitarianism should make us reject the property of transitiv...
متن کاملThe SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
This short paper presents a prototype tool called SANTE (Static ANalysis and TEsting) implementing an original method combining value analysis, program slicing and structural test generation for verification of C programs. First, value analysis is called to generate alarms when it can not guarantee the absence of errors. Then the program is reduced by program slicing. Alarmguided test generatio...
متن کاملblue-c API
In this paper we present the blue-c application programming interface, a software toolkit for media-rich, collaborative, immersive virtual reality applications. The blue-c API provides easy to use interfaces to all blue-c technology, including immersive projection, live 3D video acquisition and streaming, audio, tracking, and gesture recognition. The integration of multimedia data, including 2D...
متن کاملAnalysis of the Equality Relations for the Program Terms
In this article an abstract interpretation and formal language based analysis for imperative programs is presented. This analysis makes a lower approximation of the equality relations for the program terms, i.e. for a given program point our analysis produces a set of equalities t1 = t2 where t1 and t2 represent program expressions such that their values are equal for any behavior of the progra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software
سال: 2008
ISSN: 1000-9825
DOI: 10.3724/sp.j.1001.2008.02550