Author of the publication

A Formal Method for Program Slicing.

, , and . Australian Software Engineering Conference, page 140-148. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multi-UAV Task Allocation Based on Improved Algorithm of Multi-objective Particle Swarm Optimization., , , and . CyberC, IEEE, (2018)Web service publishing and composition based on monadic methods and program slicing., , and . Knowl. Based Syst., (2013)Image Hiding Algorithm Based on Secure Steganography Mechanism., , , and . CyberC, page 122-129. IEEE, (2017)A Binary-Classification Method Based on Dictionary Learning and ADMM for Network Intrusion Detection., , and . CyberC, page 326-333. IEEE, (2017)Dead Code Detection Method Based on Program Slicing., , , and . CyberC, page 155-158. IEEE, (2017)A survey of semantic description frameworks for programming languages., and . ACM SIGPLAN Notices, 39 (3): 14-30 (2004)Description Logic Representation for Requirement Specification., and . International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, page 1147-1154. Springer, (2007)A Slice Monad Transformer and Its Applications in Program Slicing., and . ICECCS, page 147-154. IEEE Computer Society, (2005)Detecting Image Spam Based on K-Labels Propagation Model., , , , and . IEEE WISA, page 170-175. IEEE Computer Society, (2013)WordNet-powered Web Services Discovery Using Kernel-Based Similarity Matching Mechanism., , , and . SOSE, page 64-68. IEEE Computer Society, (2010)