A Retrospective on Region-Based Memory Management
نویسندگان
چکیده
We report on our experience with designing, implementing, proving correct, and evaluating a regionbased memory management system.
منابع مشابه
Association between prospective, retrospective memories and job performance of nurses in the city of Ahvaz, Iran, in 2016
Background: Nurses continuously carry out several activities and need to develop certain cognitive mechanisms to be able to concentrate on their tasks. These activities and tasks affect and deal with the health and safety of people and their job performance. This study aims to investigate the association between prospective and retrospective memories and job performance of nurses in Imam Hospit...
متن کاملاثربخشی آموزش مدیریت هدف بر توجه پایدار، حافظه آینده نگر، و بازداری پاسخ مصرف کنندگان مزمن مت آمفتامین در اوایل دوره پرهیز
Objective: The current research was conducted to investigating the effectiveness of Goal Management Training (GMT) in the improvement of sustained attention, prospective memory, and response inhibition in methamphetamine abusers. Method: In a quasi-experimental study, 40 methamphetamine abusers who were in their early recovery period were selected through random cluster sampling method. They we...
متن کاملComparison of Prospective and Retrospective Memory and Attention in Patients with Chronic Low Back Pain with Healthy People
Objective: The present study aimed to compare prospective and retrospective memory impairment and attention deficit in people suffering from chronic low back pain with those cognitive functions in healthy subjects. Furthermore, this study examines the relation between severity and duration of pain and prospective and retrospective memory impairment and attention deficit. Me...
متن کاملTowards Region-Based Memory Management for Mercury Programs
Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes region-based memory management for the Mercury language using some points-to graphs that model the partition of the memory used by a program into separate regions and distribute the values of the program’s variables over the regions. First, a region a...
متن کاملA Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm
Region-based memory management has been proposed as a viable alternative to garbage collection for real-time applications and embedded software. In our previous work we have developed a region type inference algorithm that provides an automatic compile-time region-based memory management for object-oriented paradigm. In this work we present a formal soundness proof of the region type system tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Higher-Order and Symbolic Computation
دوره 17 شماره
صفحات -
تاریخ انتشار 2004