Traditionally, program analysis has been divided into two camps: Static techniques analyze code and safely determine what cannot happen; while dynamic techniques analyze executions to determine what actually has happened. While static analysis suffers from overapproximation, erring on whatever could happen, dynamic analysis suffers from underapproximation, ignoring what else could happen. In th...

Projection based program analysis techniques are remarkable for their ability to give highly detailed and useful information not obtainable by other methods The rst proposed projection based analysis techniques were those of Wadler and Hughes for strictness analysis and Launchbury for binding time analysis both techniques are restricted to analysis of rst order monomorphic languages Hughes and ...

Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programming, we present a technique where the folding is driven by an example. The transformation is aimed at programs suffering from inefficiencies due to the repetition of identical subcomputations. The execution of an examp...

We explore a novel approach to higher-order program analysis which combines lazy data propagation with ideas from optimal lambda-reduction to produce a different form of program analysis. This analysis produces only a control-flow graph; we derive all other information (e.g. values of variables) directly from this graph. The resulting analysis is flowand context-sensitive with a provable polyno...

Program query languages are an essential component of program analysis and manipulation systems. In each such system, a query identifies the source-code parts of interest by reasoning over a program representation that is dedicated to the intent of the system (e.g. call-graphs to detect behavioral flaws, abstract syntax trees for refactorings, concrete source code to verify programming conventi...

Software changes. During their life cycle, software systems experience a wide spectrum of changes, from minor modifications to major architectural shifts. Small-scale changes are usually performed with text editing and refactorings, while large-scale transformations require dedicated program transformation languages. For medium-scale transformations, both approaches have disadvantages. Manual m...

The aim of this paper is to discuss how our pattern-based strategy for the visualization of data and control flow can effectively be used to animate the program and exhibit its behavior. That result allows us to propose its use for Program Comprehension. The animator uses well known compiler techniques to inspect the source code in order to extract the necessary information to visualize it and ...

abstractbackground: delivering the radiation dose to the target volume and minimizing the dose to normal tissues are the main objectives in radiotherapy. the aim of our study is to enhance the contrast of the portal image to increase the accuracy of delineation of the organs in the irradiation field.   methods: the software was written based on local enhancement of the pixel values in image mat...

background:     purpose:     methods:     results:     conclusion:

Introduction The IBBS is part of the Indonesian MoH HIV Surveillance System, which include Serological Surveillance, Behavioral Surveillance, Reproductive Tract Infection Survey, and monthly HIV/AIDS facilitybased (hospitals, HCs, VCT Sites) monthly reports. The IBBS 2011 was conducted in 11 provinces (22 districts/municipalities) encompassing eight Most At Risk Populations (MARPs) – injection ...