Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this paper, we first identify sufficient conditions under which heap allocated numeric variables in object oriented programs (i.e., numeric fields) can be handled as nonheap allocated variables. Then, we present a static ...

This paper presents an efficient context-sensitive heap analysis algorithm called Data Structure Analysis designed to enable analyses and transformations on entire disjoint recursive data structures. The analysis has several challenging properties needed to enable such transformations: context-sensitivity with cloning (essential for proving disjointness), field-sensitivity, and the use of an ex...

Linear flux switching motors with simple passive segmented secondary, referred as Segmented Secondary Linear Flux Switching Motors (SSLFSMs), have low cost secondary and therefore are applicable to transportation systems like Maglev. However, it is shown that the SSLFSMs suffer from high thrust ripples. In this paper, minimizing SSLFSM thrust ripples besides maximizing its developed thrust are ...

In confronting the challenge of providing formal models of dialogue, with its plethora of fragments and rich variation in modes of context-dependent construal, it might seem that linguists face two types of methodological choice: either (a) conversation employs dialogue-specific mechanisms, for which a grammar specific to such activity must be constructed; or (b) variation arises due to indepen...

The need to distinguish two syntactic sources for adnominal adjectives (a direct modification and a relative clause one), with the associated interpretive properties, turns out to have certain implications for the semantic classification of adjectives. We will see that it provides evidence for the existence of a class of truly privative adjectives, and for the conclusion that subsective adjecti...