نتایج جستجو برای: heap leaching structures

تعداد نتایج: 468221  

2009
Bill McCloskey Mooly Sagiv

We develop general algorithms for reasoning about numerical properties of programs manipulating the heap via pointers. We automatically infer quantified invariants regarding unbounded sets of memory locations and unbounded numeric values. As an example, we can infer that for every node in a data structure, the node’s length field is less than its capacity field. We can also infer per-node state...

2008
Manuel Montenegro Ricardo Peña-Marí Clara Segura

Safe is a first-order eager language with facilities for programmer-controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts of the heap where the programmer may allocate data structures. A type system is used to avoid dangling pointers arising from the inadequate usage of these facilities. In this paper we present an inference algorithm, we describe ...

1996
Siu-Yuen Chan Paul Roe

Communicating complex data structures, that is those containing pointers, across machines is a common problem in distributed and parallel computing ; particularly with the current move towards object-oriented programming. Some techniques utilise dedicated hardware and system software to eeciently achieve this. This paper presents a study of several software techniques for the communication of c...

2002
Tong Chen Jin Lin Wei-Chung Hsu Pen-Chung Yew

Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is critical for compilers to generate high performance code. However, most previous research on pointer analysis mostly focuses on pointers pointing to global or local variables. In this paper, we study points-to analysis o...

1996
Galen C. Hunt Michael L. Scott

We present a new algorithm for concurrent access to array-based priority queue heaps. Deletions proceed top-down as they do in a previous algorithm due to Rao and Kumar 6], but insertions proceed bottom-up, and consecutive insertions use a bit-reversal technique to scatter accesses across the fringe of the tree, to reduce contention. Because insertions do not have to traverse the entire height ...

2012
Elvira Albert Richard Bubel Samir Genaim Reiner Hähnle Guillermo Román-Díez

Program properties that are automatically inferred by static analysis tools are generally not considered to be completely trustworthy, unless the tool implementation or the results are formally verified. Here we focus on the formal verification of resource guarantees inferred by automatic cost analysis. Resource guarantees ensure that programs run within the indicated amount of resources which ...

2010
Jörg Herter

Shape analysis aims at determining invariants of heapallocated structures that arise during the execution of a program. Current shape analysis techniques are stateless, i.e. they only model the structures arising on the heap and completely ignore their memory locations and where they were allocated. This paper proposes an extended, allocation-site aware shape analysis and briefly sketches field...

Journal: :Circular Economy and Sustainability 2021

Iron is the major impurity in pregnant leaching solutions (PLS) derived from heap and atmospheric acid of low-grade laterite ores. The PLS can be considered as a secondary resource for synthesis high added-value iron nanomaterials, provided that selectively separated polymetallic solution. In this study, feasibility selective separation was investigated by applying solvent extraction technique ...

2015
Alex Gyori Pranav Garg Edgar Pek P. Madhusudan

ion-guided Runtime Checking of Assertions on Lists Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan University of Illinois at Urbana-Champaign, Urbana, IL, USA {gyori, garg11, pek1, madhu}@illinois.edu Abstract. We investigate ways to specify and check, at runtime, assertions that express properties of dynamically manipulated linked-list data structures. Checking an assertion involving whether...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید