کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6874809 | 1441255 | 2012 | 31 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A relational realizability model for higher-order stateful ADTs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
The model combines the virtues of two recent earlier models: (1) Ahmed, Dreyer, and Rossberg's step-indexed logical relations model, which was designed to facilitate proofs of representation independence for “state-dependent” ADTs and (2) Birkedal, Støvring, and Thamsborg's realizability logical relations model, which was designed to facilitate abstract proofs without tedious step-index arithmetic. The resulting model can be used to give abstract proofs of representation independence for “state-dependent” ADTs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 81, Issue 4, May 2012, Pages 491-521
Journal: The Journal of Logic and Algebraic Programming - Volume 81, Issue 4, May 2012, Pages 491-521
نویسندگان
Lars Birkedal, Kristian Støvring, Jacob Thamsborg,