Notice of Violation of IEEE Publication Principles: Boolean Functions for Pair Sharing Analysis

Notice of Violation of IEEE Publication Principles

"Boolean Functions for Pair Sharing Analysis"
by Hui-Yun Long, Jian-Shi Li
in the Proceedings of the 2009 International Conference on Networking and Digital Society (ICNDS), May 2009, pp. 242-245

After careful and considered review of the content and authorship of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE's Publication Principles.

This paper is a duplication of the original text from the paper cited below. The original text was copied without attribution (including appropriate references to the original author(s) and/or paper title) and without permission.

Due to the nature of this violation, reasonable effort should be made to remove all past references to this paper, and future references should be made to the following article:

"Boolean Functions for Pair Sharing Analysis"
by Lunjin Lu and Xuan Li
in the Proceedings of the 18th Workshop on Logic Programming (WLP), March 2004

http://www.secs.oakland.edu/~l2lu/pubs/PDF/WLP04.pdf


This paper presents an encoding scheme for pair sharing. Pair sharing relations and abstract operations required for a pair sharing analysis are encoded as Boolean functions and operations on Boolean functions. Preliminary experimental results with a prototype implementation are presented.