DocumentCode
2233636
Title
Notice of Violation of IEEE Publication Principles
Boolean Functions for Pair Sharing Analysis
Author
Hui-yun Long ; Jian-shi Li
Author_Institution
Coll. of Comput. Sci. & Technol., Guizhou Univ., Guiyang, China
Volume
1
fYear
2009
fDate
30-31 May 2009
Firstpage
242
Lastpage
245
Abstract
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.
"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.
Keywords
Boolean functions; encoding; logic programming; Boolean function; abstract operations; encoding scheme; logic programming; pair sharing analysis; Boolean functions; Computer science; Data structures; Educational institutions; Encoding; Equations; Functional programming; Linearity; Logic programming; Prototypes; abstract operation; boolean function; domain structure; logic programming; pair sharing analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Networking and Digital Society, 2009. ICNDS '09. International Conference on
Conference_Location
Guiyang, Guizhou
Print_ISBN
978-0-7695-3635-4
Type
conf
DOI
10.1109/ICNDS.2009.66
Filename
5116256
Link To Document