کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423793 685291 2012 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Time Bounds for General Function Pointers
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Time Bounds for General Function Pointers
چکیده انگلیسی

We develop a logic of explicit time resource bounds for a language with function pointers and semantic assertions. We apply our logic to examples containing nontrivial “higher-order” uses of function pointers and we prove soundness with respect to a standard operational semantics. Our core technique is very compact and may be applicable to other resource bounding problems, and is the first application of step-indexed models in which the outermost quantifier is existential instead of universal. Our results are machine checked in Coq.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 286, 24 September 2012, Pages 139-155