Bi-valuation of programming statements

Details Bi-valuation of programming statements Bi-valuation of programming statements

2007-07-03

2007-07-03

Dam, Tuan (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Programming language

C717S115000, C706S048000

Reexamination Certificate

active

10046191

ABSTRACT:
A statement evaluation technique is based on bi-evaluation of programming statements. A programming language statement is evaluated that includes a first and a second sub-statement. The first sub-statement is evaluated and an evaluation success result is determined if evaluation succeeds, or a distinguished value if evaluation fails. The distinguished value is a value that is not included in the range of possible evaluation success results of the first sub-statement. Further, it is determined whether the second sub-statement is to be evaluated. If this is the case, an evaluation success result of the second sub-statement is determined if evaluation succeeds, or the distinguished value if evaluation fails. The range of possible evaluation success results of the second sub-statement does not include the distinguished value. The evaluation result of the statement is determined depending on at least whether evaluation of the first sub-statement succeeds or fails.

REFERENCES:
patent: 5276854 (1994-01-01), Court et al.
patent: 5412807 (1995-05-01), Moreland
patent: 5493675 (1996-02-01), Faiman et al.
patent: 5577253 (1996-11-01), Blickstein
patent: 5596752 (1997-01-01), Knudsen et al.
patent: 5613117 (1997-03-01), Davidson et al.
patent: 5659753 (1997-08-01), Murphy et al.
patent: 5892951 (1999-04-01), Safonov
patent: 6463581 (2002-10-01), Bacon et al.
patent: 6470349 (2002-10-01), Heninger et al.
patent: 6636972 (2003-10-01), Ptacek et al.
Dave Dyer, Jul. 1997, Java decompilers compared (http://www.javaworld.com/javaworld/jw-07-1997/jw-07-decompilers—p.html), pp. 9-10 of 13.
G.D. Plotkin, “A Structural Approach to Operational Semantics”,Technical Report DAIMI-FN-19, Computer Sciences Departmetn., Århus University, Denmark, 1981.

Affiliated with

Also associated with

Rating

Bi-valuation of programming statements does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Bi-valuation of programming statements, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bi-valuation of programming statements will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3739365