Abstract Local Reasoning for Concurrent Libraries: Mind the Gap
نویسندگان
چکیده
Local Reasoning for Concurrent Libraries: Mind the Gap Philippa Gardner, Azalea Raad, Mark Wheelhouse, Adam Wright1 Department of Computing, Imperial College London, UK
منابع مشابه
Abstract Specifications for Concurrent Maps
Specifications for Concurrent Maps (Extended Version) Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, and Philippa Gardner Imperial College London, UK {sx14,pmd09,gn408,pg}@ic.ac.uk Abstract. Despite recent advances in reasoning about concurrent data structure libraries, the largest implementations in java.util.concurrent have yet to be verified. The key issue lies in the development of modular ...
متن کاملConcurrent Data Structures Linked in Time (Artifact)
This artifact provides the full mechanization in FCSL of the developments in the companion paper, “Concurrent Data Structures Linked in Time”. In the latter, we propose a new method, based on a separation-style logic, for reasoning about concurrent objects with such linearization points. We embrace the dynamic nature of linearization points, and encode it as part of the data structure’s auxilia...
متن کاملAn Assessment of the Quality of Services in Public Libraries Using the Gap Analysis Model, Based on the Users' Perspective; study Case: Public Libraries Located in West Azarbayjan Province
Purpose. The main purpose of this study is to determine of services quality in West Azarbayjan public libraries using the gap analysis model, Based on the Users' Perspective. Methodology. This study is an applied research that was conducted by survey Method. The population of research were members of West Azarbayjan public libraries that 450 people were randomly selected as samples. Last ve...
متن کاملIdentifying Platform-Based Services in Iran’s Public Libraries
Abstract Purpose: The purpose of this study is to identify platform-based services and their priorities in order to apply them in Iran’s public libraries. Method: This research is an applied study in terms of purpose, including a mixed approach in terms of the research framework. First, the platform-based services were identified through using the meta-synthesis method. Then, after searching ...
متن کاملModular Reasoning about Separation of Concurrent Data Structures
In a concurrent setting, the usage protocol of standard separation logic specifications are not refinable by clients, because standard specifications abstract all information about potential interleavings. This breaks modularity, as libraries cannot be verified in isolation, since the appropriate specification depends on how clients intend to use the library. In this paper we propose a new logi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 308 شماره
صفحات -
تاریخ انتشار 2014