Formalizing Fact Extraction


Schemas that define the form of facts extracted from source code are usually informal. The informal specifications of these schemas are too often incomplete or inconsistent. This paper takes the position that formal specification of fact extraction is beneficial to the reverse engineering community. A formal specification can serve as an unambiguous and… (More)
DOI: 10.1016/j.entcs.2004.01.001


Cite this paper

@article{Lin2004FormalizingFE, title={Formalizing Fact Extraction}, author={Yuan Lin and Richard C. Holt}, journal={Electr. Notes Theor. Comput. Sci.}, year={2004}, volume={94}, pages={93-102} }