Appeal No. 97-2466 Page 10
Application No. 08/461,943
Cordy discloses compile-time detection of potential
aliases in computer programs. P. 755. The reference teaches,
”[a]liasing is dangerous because it obscures the meaning of
the assignment operator in that an assignment to one variable
may change the observed value of others.” Id. Cordy’s
compiler generates and inserts legality assertions to ensure
that aliasing does not occur at run time. Upon encountering
the bind statement “bind (var x to a(i), var y to a(j),)" for
example, the legality assertion “assert (i not = j)” is
inserted preceding the bind. P. 765. A legality assertion
creates a boundary between the statements that precede the
assertion and those that follow it. The boundary is visible
to the compiler during compilation. When the teachings of the
references are combined, the result is the insertion of a
pseudo operation in an intermediate representation of a source
program and the definition of a visibility boundary for the
inserted pseudo operation. Therefore, we find that the
references would have suggested the elements of claims 1 and
11.
Page: Previous 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 Next
Last modified: November 3, 2007