Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-01-11
2011-10-25
Yigdall, Michael J (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S104000, C717S106000, C717S132000, C717S144000, C717S146000, C717S159000
Reexamination Certificate
active
08046751
ABSTRACT:
A control flow graph may be generated from a model. The control flow graph may be restructured by converting at least one unstructured region of a control flow graph into a structured region. The restructuring may include locating at least one block between two merge nodes in the control flow graph, moving the located block to a different section of the control flow graph, and creating the structured region by surrounding the moved code block with a test of a guard variable.
REFERENCES:
patent: 7433808 (2008-10-01), Raghavan et al.
patent: 7503027 (2009-03-01), Zhao et al.
patent: 7720656 (2010-05-01), Raghavan et al.
patent: 2004/0073413 (2004-04-01), Aberg et al.
patent: 2004/0154009 (2004-08-01), Reynaud
patent: 2006/0064680 (2006-03-01), Devane
patent: 2007/0018986 (2007-01-01), Hauser
Cifuentes, Cristina, “A Structuring Algorithm for Decompilation,” Proceedings of the XIX Conferencia Latinoamericana de Informatica, Aug. 1993, pp. 267-276.
Erosa, Ana M. and Laurie J. Hendren, “Taming Control Flow: A Structured Approach to Eliminating Goto Statements,” Proceedings of the 1994 International Conference on Computer Languages, May 1994, pp. 229-240.
Pan, Si and R. Geoff Dromey, “A Formal Basis for Removing Goto Statements,” The Computer Journal, vol. 39, No. 3, 1996, pp. 203-214.
Williams, M. H. and H. L. Ossher, “Conversion of Unstructured Flow Diagrams to Structured Form,” The Computer Journal, vol. 21, No. 2, 1978, pp. 161-167.
Sarkar, V., “Automatic selection of high-order transformations in the IBM XL Forran compilers,” IBM J. Res. Develop., vol. 41(3):233-264 (1997).
Avadhanula Srinath
Raghavan Vijay
Nelson Mullins Riley & Scarborough LLP
The MathWorks, Inc.
Yigdall Michael J
LandOfFree
Structuring unstructured regions in a control flow graph does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Structuring unstructured regions in a control flow graph, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Structuring unstructured regions in a control flow graph will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4285461