We explore a novel approach to higher-order program analysis that brings ideas of on-demand lookup from first-order CFL-reachability program analyses to higher-order programs. The analysis needs to produce only a control-flow graph; it can derive all other information including values of variables directly from the graph. Several challenges had to be overcome, including how to build the control...

Program slicing is a technique to extract relevant parts of a program, and it is widely used in program debugging, parallelization, testing, reverse engineering, etc. This paper concerns static slicing and it follows the Weiser’s definition of slicing that consists of computing what statements of the program might affect the value of some particular variable at a specified program point. We arg...

Nowadays, demand response programs (DRPs) play an important role in price reduction and reliability improvement. In this paper, an optimal integrated model for the emergency demand response program (EDRP) and dynamic economic emission dispatch (DEED) problem has been developed. Customer’s behavior is modeled based on the price elasticity matrix (PEM) by which the level of DRP is determined for ...

This artifact is a proof-of-concept implementation of DDPA, an on-demand program analysis for higherorder functional programs. The implementation, written in OCaml, includes a parser, evaluator, and DDPA analysis for the language defined in the companion paper (including the proper record semantics extension). The analysis may be performed using different levels of precision as specified by the...

Interprocedural analysis concerns the static examination of a program that consists of multiple procedures. Its purpose is to determine certain kinds of summary information associated with the elements of a program (such as reaching definitions, available expressions, live variables, etc.). Most treatments of interprocedural analysis address the exhaustive version of the problem: summary inform...

Integrated resource planning has been performed by electric companies, because of its multifarious benefits in power system operation. Demand Response Resources (DRRs) can be used as a virtual demand side power plant. DRRs are clustered to IncentiveBased Programs (IBPs) and Time-Based Rate Programs (TBRPs). Precise modeling of DRRs helps the system operator to investigate the impact of responsi...

Strategy annotations are used in eager programming languages (e.g., OBJ2, OBJ3, CafeOBJ, and Maude) for improving efficiency and/or reducing the risk of nontermination. Syntactically, they are given either as lists of natural numbers or as lists of integers associated to function symbols whose (absolute) values refer to the arguments of the corresponding symbol. A positive index forces the eval...

Pharmaceutical and personal care products (PPCPs) industries suffer inadequate effluent treatment due to the presence of recalcitrant substances, insufficient carbon source and nutrients. Biodegradation is the ability of microorganisms to metabolize pollutants in soil, sediment and water environment. There is great awareness in the positive impact that microorganisms play in protecting environm...

A host of technologies has been developed to achieve these aims of the smart grid. Some of these technologies include plug-in electric vehicle, demand response program, energy storage system and renewable distributed generation. However, the integration of the smart grid technologies in the power system operation studies such as economic emission unit commitment problem causes two major challen...