Kai Yu, Cong Wang, Yin-li Chen, Meng-xiang Lin. Program Sifting: Select Property-Related Functions for Language-Based Static Analysis. In Shahida Sulaiman, Noor Maizura Mohamad Noor, editors, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia. pages 275-282, IEEE Computer Society, 2009. [doi]
@inproceedings{YuWCL09,
title = {Program Sifting: Select Property-Related Functions for Language-Based Static Analysis},
author = {Kai Yu and Cong Wang and Yin-li Chen and Meng-xiang Lin},
year = {2009},
doi = {10.1109/APSEC.2009.44},
url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2009.44},
tags = {control systems, programming languages, rule-based, program analysis, data-flow language, analysis, static analysis, data-flow programming, data-flow, graph-rewriting, rewriting, data-flow analysis, systematic-approach},
researchr = {https://researchr.org/publication/YuWCL09},
cites = {0},
citedby = {0},
pages = {275-282},
booktitle = {16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia},
editor = {Shahida Sulaiman and Noor Maizura Mohamad Noor},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3909-6},
}