Perceptions Towards Adoption of Mobile Self-services: A Case Study (Available in Hanken intranet only)

This thesis is an exploratory case study that aims to understand the attitudes affecting adoption of mobile self-services. This study used a demo mobile self-service that could be used by consumers for making address changes. The service was branded with a large and trusted Finnish brand. The theoretical framework that was used consisted of adoption theories of technology, adoption theories of self-service and literature concerning mobile services. The reviewed adoption theories of both technology and self-service had their foundation in IDT or TRA/TPB. Based on the reviewed theories an initial framework was created. The empirical data collection was done through three computer aided group interview sessions with a total of 32 respondents. The data analysis started from the premises of the initial framework. Based on the empirical data the framework was constantly reviewed and altered and the data recoded accordingly. The result of this thesis was a list of attitudinal factors that affect the adoption of a mobile self-service either positively or negatively. The factors that were found to affect the attitudes towards adoption of mobile self-services positively were: that the service was time & place independent and saved time. Most respondents, but not all, also had a positive attitude towards adoption due to ease of use and being mentally compatible with the service. Factors that affected adoption negatively were lack of technical compatibility, perceived risk for high costs and risk for malicious software. The identified factors were triangulated in respect to existing literature and general attitudes towards mobile services.

Steric effects on the ultraviolet absorption of 1,2-enedioic and related systems

1,2-Enedioic systems, being sterically perturbed from planarity do not show the effect of the extended conjugation expected of a (formal) trienic entity. In the absence of a model which approximates to a uniplanar situation, the strategy of replacing an ester group in the enedioates by a cyano (for which less stringent steric demand may be presumed) and noting the correction concomitant to this replacement was adopted to arrive at a notional figure for the position of maximal absorption in the planar enedioates. From this the conclusion, subject to substantiation by molecular mechanical or quantum chemical calculations, was drawn that even the E-isomeric and comparatively less substituted enedioates are highly sterically perturbed. An alternative to an earlier explanation of the bathochromic shift of absorption maxima encountered in the 5-cyclic ene-ester and ene-nitrile, relative to the 6-cyclic analogues (observed also with the enedioates and cyanovinyl ester systems), seen later to have been based on unwarranted premises, has been advanced. A comment on the absorption characteristics of enedioic anhydrides has been appended.

Towards Service Logic: The Unique Contribution of Value Co-Creation

The underpinning logic of value co-creation in service logic is analysed. It is observed that three of the ten foundational premises of the so-called service-dominant logic are problematic and do not support an understanding of value-co-creation and creation that is meaningful for theoretical development and decision making in business and marketing practice. Without a thorough understanding of the interaction concept, the locus and nature of value co-creation cannot be identified. Based on the analysis in the present article it is observed that a unique contribution of a service perspective on business (service logic) is not that customers always are co-creators of value, but that under certain circumstances the service provider gets opportunities to co-create value together with its customers. Finally, the three problematic premises are reformulated accordingly.

Köyhyyden perintö : Tutkimus kulttuurisen tiedon sisällöistä ja jatkuvuuksista suomalaisissa elämäkerta- ja sananlaskuaineistoissa

The Legacy of Poverty. A Study of the substance and continuity of cultural knowledge in Finnish biographical and proverbial texts The study focuses on the idea of the cultural knowledge and shared understanding that ordinary people, folk , have of the concepts and ideas about rural based poverty in Finland. Throughout 19th century and well into 20th century, the majority of the population remained agrarian and poor. By the 1950s, most people still lived in rural areas and a majority of them earned their living primarily from agriculture and forestry. Urbanization proceeded rapidly from the 1960s onwards. Even though the Nordic welfare state was firmly established in Finland by the 1970s, old forms of agrarian poverty still remained in the culture. The source material for the study consists of 99 biographies and 502 proverbs. Biographical texts include written autobiographies and interviewed biographies. A primary analyzing concept is called a poverty speech. The poverty speech has been analyzed by providing answers to the following three questions: What connotations do people attach to poverty when they speak about it? What sort of social relations arise when people speak about poverty? How is the past experience of poverty constructed in the present and in the welfare state context? Cultural knowledge is a theoretical and analytical tool that enables people to categorize information. The three questions stated above are crucial in revealing the schematic structure that people use to communicate about agrarian poverty. Categories are analyzed and processed in terms of cultural themes that contain the ideals and stereotypes of spoken motif and sub-themes. The application of theoretical and analytical premises to the poverty speech has shown that there are four cultural themes. The first theme is Power. The social connotations in the poverty speech are mostly in relation to the better-off people. Poverty does not exist without an awareness of welfare, i.e. the understanding of a certain standard of welfare above that of one's own. The second theme is about family ties as a resource and welfare network. In poverty speech, marriage is represented as a means to upgrade one's livelihood. Family members are described as supporting one another, but at the same time as being antagonists. The third theme, Work represents the work ethic that is being connected to the poverty. Hard working as a representation is attached to eligibility for `a good life´ that in Finland was to become an owner-occupier of a cottage or a flat. The fourth theme is Security. The resentment of unfair treatment is expressed by using moral superiority and rational explanations. The ruling classes in the agrarian society are portrayed as being evil and selfish with no social conscience because they did not provide enough assistance to those who needed it. During the period when the welfare benefit system was undeveloped, the poor expected the wealthier people to make a contribution to the distribution of material wealth. In the premises of cultural knowledge, both oral and written traditions are about human thinking: they deal with topics, ideas and evaluations that are relevant to their bearers. Many elements expressed in poverty speech, such as classifications and customs derived from the rural world, have been carried over into the next generation in newer contexts and a different cultural environment. Keywords: cultural knowledge, cognitive categorization, poverty, life stories, proverbs

Hyvän hallinnon muunnelmat : Julkisoikeudellinen tutkimus

This doctoral thesis analyses the concepts of good governance and good administration. The hypothesis is that the concepts are radically indeterminate and over-inclusive. In the study the mechanisms of this indeterminacy are examined: why are the concepts indeterminate; how does the indeterminacy work and, indeed, is it by any means plausible to try to define the concepts in a closed way? Therefore, the study focuses on various current perspectives, from which the concepts of good governance and good administration are relevant and what kind of discursive contents they may include. The approach is both legal (a right to good administration) and one of moral philosophy and discourse analysis. It appears that under the meta-discourse of good governance and good administration there are different sub-discourses: at least a legal sub-discourse, a moral/ethical sub-discourse and sub-discourses concerning economic effectiveness and the promotion of societal and economic development. The main claim is that the various sub-discourses do not necessarily identify each other s value premises and conceptual underpinnings: for which value could the attribute good be substituted in different discourses (for example, good as legal, good as ethical and so on)? The underlying presumption is, of course, that values are ultimately subjective and incommensurable. One possible way of trying to resolve the dynamics of possible discourse collisions is to employ the systems theory approach. Can the different discourses be interpreted as autopoietic systems, which create and change themselves according to their own criteria and are formed around a binary code? Can the different discourses be reconciled or are they indifferent or hostile towards each other? Is there a hegemonic super discourse or is the construction of a correct meaning purely contextual? The questions come back to the notions of administration and governance themselves the terms the good in its polymorphic ways is attempting to define. Do they engage different political rationalities? It can be suggested that administration is labelled by instrumental reason, governance by teleological reason. In the final analysis, the most crucial factor is that of power. It is about a Schmittian battle of concepts; how meanings are constructed in the interplay between conceptual ambiguity and social power. Thus, the study deals with administrative law, legal theory and the limits of law from the perspective of revealing critique.

"Miksi lehmät pitää tappaa?" : Etnografinen tutkimus 2000-luvun alun huumemarkkinoista Helsingissä

The present study focuses on the drug market in Helsinki in the early 2000s, mainly on the dealing in and use of amphetamines, cannabis and the pharmaceutical Subutex. The drug market is usually analysed into upper, middle and lower level markets. These levels are very different in terms of their operating practices, although there may be some mingling. The present study is mainly concerned with drug dealers and users in the lower and middle level markets. Operations also differ depending on whether the dealing involves just one drug or several. Dealing in and using Subutex is a very different business from dealing and using home grown cannabis, for instance: both the customers and the dealers are mostly quite different. The study material was mostly collected through ethnographical field work, including observations and interviews. Interviews with officials and minutes of pre-trial investigations concerning aggravated drug crimes are also included. The study discusses the roles of dealers on the various levels of the drug market in Helsinki and traces activities at various levels. Ethnographical methods are employed to observe day-to-day drug dealing and use and leisure pursuits in private homes and in public premises. The study takes note of the risks inherent in drug dealing and estimates what kind of drug dealers can last the longest on the market without the authorities intervening. At the same time, the study discusses how small groups on the middle and lower levels of the drug market avoid control measures undertaken by the authorities and how the authorities address these groups. Moreover, the study discusses what the drug market is like in prison from the perspective of a drug dealer sent to prison, what their everyday lives are like after release, and how much money dealers on various levels of the drug market make. The study demonstrates that drug dealing in Helsinki, whether we consider the very top or the very bottom of the pyramid, is a far from rational pursuit. The undertakings are not very systematic; they are more a reaction to intoxicant addiction( s) and other problems caused by other dealers, the dealers own actions and the actions of the police. The everyday lives of drug dealers are often chaos only alleviated by drug use in the company of buyers or alone. If a drug dealer uses drugs himself/herself, things become even more complicated and a vicious circle develops. At the same time, everyday life is certainly exciting, and a drug dealer often has a highly eventful if brief life. Drug dealing is a very masculine pursuit, and there is a sort of macho code governing it, although this does not nearly always work as it should. This macho code, typically for illegal activities, involves the threat of violence as a control measure. Hence the untranslatable slang expression Kill the cows : the Finnish word for calf has the slang meaning snitch or police informant . No more cows, no more calves. But informing on others to the authorities is a fact of life in the drug-dealing world. Contributing factors to being reported to the authorities are the dealer s own mistakes and the actions of other dealers and the police. A determined drug dealer will not be deterred from drug dealing by a prison sentence. However, following time in prison only few dealers manage to gain an income from drug dealing commensurate with its risks.

Campylobacter jejuni and C. coli in Finnish poultry production

Campylobacter, mainly Campylobacter jejuni and C. coli, are worldwide recognized as a major cause of bacterial food-borne gastroenteritis. Epidemiological studies have shown handling or eating of poultry to be significant risk factors for human infections. Campylobacter contamination can occur at all stages of a poultry meat production cycle. The aim of this thesis was to study the occurrence and diversity of Campylobacter in broiler and turkey production in Finland. In summer 1999, 2.9 % of slaughtered broiler flocks were Campylobacter-positive. From the isolated strains 94 % were C. jejuni and 6% were C. coli. During years 2005-2006 one turkey parent flock, the hatchery, six different commercial turkey farms and different stages of the slaughterhouse were monitored during one and the half year. No Campylobacter were detected in either of the samples from the turkey parent flock or from the hatchery using the culture method. Instead PCR detected DNA of Campylobacter from the turkey parent flock and samples from the hatchery. Six out of 12 commercial turkey flocks were found negative at the farm level but only two of those were negative at slaughter. Campylobacter-positive samples within the flock at slaughter were detected between 0% and 94% with evisceration and chilling water being the most critical stages for contamination. All of Campylobacter isolates were shown to be C. jejuni. Campylobacter-positive turkey flocks were colonized by a limited number of Campylobacter genotypes both at the farm and slaughter level. In conclusion, in our first study in 1999 a low prevalence of Campylobacter in Finnish broiler flocks was detected and it has remained at a low level during the study period until the present. In the turkey meat production, we found that flocks which were negative at the farm became contaminated with Campylobacter at the slaughter process. These results suggest that proper and efficient cleaning and disinfection of slaughter and processing premises are needed to avoid cross-contamination. Prevention of colonization at the farm by a high level of biosecurity control and hygiene may be one of the most efficient ways to reduce the amount of Campylobacter-positive poultry meat in Finland. With a persistent low level of Campylobacter-positive flocks, it could be speculated that the use of logistic slaughtering, according to Campylobacter status at farm, might have be advantageous in reducing Campylobacter contamination of retail poultry products. However, the significance of the domestic poultry meat for human campylobacteriosis in Finland should be evaluated.

A participatory approach to tactical forest planning.

The paper examines the needs, premises and criteria for effective public participation in tactical forest planning. A method for participatory forest planning utilizing the techniques of preference analysis, professional expertise and heuristic optimization is introduced. The techniques do not cover the whole process of participatory planning, but are applied as a tool constituting the numerical core for decision support. The complexity of multi-resource management is addressed by hierarchical decision analysis which assesses the public values, preferences and decision criteria toward the planning situation. An optimal management plan is sought using heuristic optimization. The plan can further be improved through mutual negotiations, if necessary. The use of the approach is demonstrated with an illustrative example, it's merits and challenges for participatory forest planning and decision making are discussed and a model for applying it in general forest planning context is depicted. By using the approach, valuable information can be obtained about public preferences and the effects of taking them into consideration on the choice of the combination of standwise treatment proposals for a forest area. Participatory forest planning calculations, carried out by the approach presented in the paper, can be utilized in conflict management and in developing compromises between competing interests.

Campylobacter jejuni and C.coli in Finnish poultry production

Campylobacter, mainly Campylobacter jejuni and C. coli, are worldwide recognized as a major cause of bacterial food-borne gastroenteritis (World Health Organization 2010). Epidemiological studies have shown handling or eating of poultry to be significant risk factors for human infections. Campylobacter contamination can occur at all stages of a poultry meat production cycle. In summer 1999, every broiler flock from all three major Finnish poultry slaughterhouses was studied during a five month period. Caecal samples were taken in the slaughterhouses from five birds per flock. A total of 1 132 broiler flocks were tested and 33 (2.9%) of those were Campylobacter-positive. Thirty-one isolates were identified as C. jejuni and two isolates were C. coli. The isolates were serotyped for heat-stable antigens (HS) and genotyped by pulsed-field gel electrophoresis (PFGE). The most common serotypes found were HS 6,7, 12 and 4-complex. Using a combination of SmaI and KpnI patterns, 18 different PFGE types were identified. Thirty-five Finnish C. jejuni strains with five SmaI/SacII PFGE types selected among human and chicken isolates from 1997 and 1998 were used for comparison of their PFGE patterns, amplified fragment length polymorphism (AFLP) patterns, HaeIII ribotypes, and HS serotypes. The discriminatory power of PFGE, AFLP and ribotyping with HaeIII were shown to be at the same level for this selected set of strains, and these methods assigned the strains into the same groups. The PFGE and AFLP patterns within a genotype were highly similar, indicating genetic relatedness. An HS serotype was distributed among different genotypes, and different serotypes were identified within one genotype. From one turkey parent flock, the hatchery, six different commercial turkey farms (together 12 flocks) and from 11 stages at the slaughterhouse a total of 456 samples were collected during one and the half year. For the detection of Campylobacter both conventional culture and a PCR method were used. No Campylobacter were detected in either of the samples from the turkey parent flock or from the hatchery samples using the culture method. Instead PCR detected DNA of Campylobacter in five faecal samples from the turkey parent flock and in one fluff and an eggshell sample. Six out of 12 commercial turkey flocks were found negative at the farm level but only two of those were negative at slaughter. Campylobacter-positive samples within the flock at slaughter were detected between 0% and 94%, with evisceration and chilling water being the most critical stages for contamination. All of a total of 121 Campylobacter isolates were shown to be C. jejuni using a multiplex PCR assay. PFGE analysis of all isolates with KpnI restriction enzyme resulted in 11 PFGE types (I-XI) and flaA-SVR typing yielded nine flaA-SVR alleles. Three Campylobacter-positive turkey flocks were colonized by a limited number of Campylobacter genotypes both at the farm and slaughter level.In conclusion, in our first study in 1999 a low prevalence of Campylobacter in Finnish broiler flocks was detected and it has remained at a low level during the study period until the present. In the turkey meat production, we found that flocks which were negative at the farm became contaminated with Campylobacter at the slaughter process. These results suggest that proper and efficient cleaning and disinfection of slaughter and processing premises are needed to avoid cross-contamination. Prevention of colonization at the farm by a high level of biosecurity control and hygiene may be one of the most efficient ways to reduce the amount of Campylobacter-positive poultry meat in Finland. In Finland, with a persistent low level of Campylobacter-positive flocks, it could be speculated that the use of logistic slaughtering, according to Campylobacter status at farm, might have be advantageous in reducing Campylobacter contamination of retail poultry products. However, the significance of the domestic poultry meat for human campylobacteriosis in Finland should be evaluated.

The Biopolitics of Gender

This dissertation inquires into the relationship between gender and biopolitics. Biopolitics, according to Michel Foucault, is the mode of politics that is situated and exercised at the level of life. The dissertation claims that gender is a technology of biopower specific to the optimisation of the sexual reproduction of human life, deployed through the scientific and governmental problematisation of declining fertility rates in the mid-twentieth century. Just as Michel Foucault claimed that sexuality became a scientific and political discourse in the nineteenth century, gender has also since emerged in these fields. In this dissertation, gender is treated as neither a representation of sex nor a cultural construct or category of identity. Rather, a genealogy of gender as an apparatus of biopower in conducted. It demonstrates how scientific and theoretical developments in the twentieth century marshalled gender into the sex/sexuality apparatus as a new technology of liberal biopower. Gender, I argue, has become necessary for the Western liberal order to recapture and re-optimise the life-producing functions of sex that reproduce the very object of biopolitics: life. The concept of the life function is introduced to analyse the life-producing violence of the sex/sexuality/gender apparatus. To do this, the thesis rereads the work of Michel Foucault through Gilles Deleuze for a deeper grasp of the material strategies of biopower and how it produces categories of difference and divides population according to them. The work of Judith Butler, in turn, is used as a foil against which to rearticulate the question of how to examine gender genealogically and biopolitically. The dissertation then executes a genealogy of gender, tracing the changing rationalities of sex/sexuality/gender from early feminist thought, through mid-twentieth century sexological, feminist, and demographic research, to current EU policy. According to this genealogy, in the mid-twentieth century demographers perceived that sexuality/sex, which Foucault observed as the life-producing biopolitical apparatus, was no longer sufficiently disciplining human bodies to reproduce. The life function was escaping the grasp of biopower. The analysis demonstrates how gender theory was taken up as a means of reterritorialising the life function: nature would be disciplined to reproduce by controlling culture. The crucial theoretical and genealogical argument of the thesis, that gender is a discourse with biopolitical foundations and a technology of biopower, radically challenges the premises of gender theory and feminist politics, as well as the emancipatory potential often granted to the gender concept. The project asks what gender means, what biopolitical function it performs, and what is at stake for feminist politics when it engages with it. In so doing, it identifies biopolitics and the problem of life as possibly the most urgent arena for feminist politics today.

Fyysinen varhaiskasvatusympäristö päiväkotien varhaiskasvatussuunnitelmissa

The National Curriculum Guidelines on Early Childhood Education and Care (ECEC) in Finland says that ECEC is developed holistically through observing children´s and the educator community´s activities and the ECEC environment. The background of this research was that assesment should be based on commonly agreed principles, which are recorded e.g. to unit-specific ECEC curriculum. The objective of this research was to investigate how unit-specific ECEC curriculums have descriped the physical indoor environment in day-care centres. According to the National Curriculum Guidelines on ECEC, there are four ways of acting that are peculiar to children: playing, physical activities, exploration and artistic experiences and self-expression. The descriptions of physical environment in unit-spesific curriculums were observed through above mentioned four ways of acting. In addition to that, the descriptions of four ways of acting were compared to each other, in order to find out, which are the main differencies and similarities in relation to physical ECEC environment. Research material was build on unit-specific ECEC curriculums from 18 day-care centres of Helsinki. Target of the research were the descriptions of physical indoor environment in curriculums.The method used in the research was theory-guided content analysis. The analyses were mainly qualitative. The descriptions of psysical environment varied widely both quantitatively and by substance. All curriculums contained mentions of playing and artistic experiences and self-expression, but mentions of physical activities and exploration were noticiably fewer. All four ways of acting were mentioned in research material in relation to premises and instruments. Also, principles related to the use of premises and instruments and other more common priciples were mentioned in relation to all ways of acting. Instead of that, children were not mentioned even once as an upholders or innovators of physical activities environment and children were mentioned only once regarding to exploration environment. All ways of acting included scenarios of e.g. that environment must provide possibilities of particular way of acting, and both materials and instruments must be available for children. Anyhow, research material did not include any principle or scenario that relates to physical environment that would have occurred in every unit-specific curriculum.

Region Based Structure Layout Optimization by Selective Data Copying

As the gap between processor and memory continues to grow Memory performance becomes a key performance bottleneck for many applications. Compilers therefore increasingly seek to modify an application’s data layout to improve cache locality and cache reuse. Whole program Structure Layout [WPSL] transformations can significantly increase the spatial locality of data and reduce the runtime of programs that use link-based data structures, by increasing the cache line utilization. However, in production compilers WPSL transformations do not realize the entire performance potential possible due to a number of factors. Structure layout decisions made on the basis of whole program aggregated affinity/hotness of structure fields, can be sub optimal for local code regions. WPSL is also restricted in applicability in production compilers for type unsafe languages like C/C++ due to the extensive legality checks and field sensitive pointer analysis required over the entire application. In order to overcome the issues associated with WPSL, we propose Region Based Structure Layout (RBSL) optimization framework, using selective data copying. We describe our RBSL framework, implemented in the production compiler for C/C++ on HP-UX IA-64. We show that acting in complement to the existing and mature WPSL transformation framework in our compiler, RBSL improves application performance in pointer intensive SPEC benchmarks ranging from 3% to 28% over WPSL

Health Monitoring Of Composite Structures Based On Acoustic Wave Sensing Using Fiber Optic Sensors

Structural Health Monitoring has gained wide acceptance in the recent past as a means to monitor a structure and provide an early warning of an unsafe condition using real-time data. Utilization of structurally integrated, distributed sensors to monitor the health of a structure through accurate interpretation of sensor signals and real-time data processing can greatly reduce the inspection burden. The rapid improvement of the Fiber Optic Sensor technology for strain, vibration, ultrasonic and acoustic emission measurements in recent times makes it feasible alternative to the traditional strain gauges, PVDF and conventional Piezoelectric sensors used for Non Destructive Evaluation (NDE) and Structural Health Monitoring (SHM). Optical fiber-based sensors offer advantages over conventional strain gauges, and PZT devices in terms of size, ease of embedment, immunity from electromagnetic interference (EMI) and potential for multiplexing a number of sensors. The objective of this paper is to demonstrate the acoustic wave sensing using Extrinsic Fabry-Perot Interferometric (EFPI) sensor on a GFRP composite laminates. For this purpose experiments have been carried out initially for strain measurement with Fiber Optic Sensors on GFRP laminates with intentionally introduced holes of different sizes as defects. The results obtained from these experiments are presented in this paper. Numerical modeling has been carried out to obtain the relationship between the defect size and strain.

Structural Health Monitoring (SHM) Using Strain Gauges, PVDF Film and Fiber Bragg Grating (FBG) Sensors: A Comparative Study

The term Structural Health Monitoring has gained wide acceptance in the recent pastas a means to monitor a structure and provide an early warning of an unsafe conditionusing real-time data. Utilization of structurally integrated, distributed sensors tomonitor the health of a structure through accurate interpretation of sensor signals andreal-time data processing can greatly reduce the inspection burden. The rapidimprovement of the Fiber Bragg Grating sensor technology for strain, vibration andacoustic emission measurements in recent times make them a feasible alternatives tothe traditional strain gauges transducers and conventional Piezoelectric sensors usedfor Non Destructive Evaluation (NDE) and Structural Health Monitoring (SHM).Optical fiber-based sensors offers advantages over conventional strain gauges, PVDFfilm and PZT devices in terms of size, ease of embedment, immunity fromelectromagnetic interference(EMI) and potential for multiplexing a number ofsensors. The objective of this paper is to demonstrate the feasibility of Fiber BraggGrating sensor and compare its utility with the conventional strain gauges and PVDFfilm sensors. For this purpose experiments are being carried out in the laboratory on acomposite wing of a mini air vehicle (MAV). In this paper, the results obtained fromthese preliminary experiments are discussed.

Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.