Data processing: structural design – modeling – simulation – and em – Emulation – Of instruction
Reexamination Certificate
2006-10-10
2006-10-10
Phan, Thai (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Emulation
Of instruction
C703S013000, C703S022000, C703S023000, C717S126000
Reexamination Certificate
active
07120572
ABSTRACT:
A program authoring system, prior to distributing a program, preprocesses the program to verify the integrity of the program. The program is written in a language that uses a restricted set of data type specific instructions. The program preprocessor, upon verification of the program's integrity, generates a modified version of the program containing an array of supplemental information. The supplemental information consists of data type snapshots of the program stack and local variables immediately prior to execution of each of a set of identified target instructions, which are successors of conditional jump, unconditional jump, branch and flow control instructions, if any, in the program. In client devices that receive programs, a program verifier verifies the integrity of each received program. The instructions of the program are emulated to determine whether any instruction in the program would violate the data type restrictions for that instruction.
REFERENCES:
patent: 3878513 (1975-04-01), Werner
patent: 4521851 (1985-06-01), Trubisky et al.
patent: 4524416 (1985-06-01), Stanley et al.
patent: 4622013 (1986-11-01), Cerchio
patent: 4742215 (1988-05-01), Daughters et al.
patent: 5165465 (1992-11-01), Kenet
patent: 5179734 (1993-01-01), Candy et al.
patent: 5187799 (1993-02-01), McAuley et al.
patent: 5220522 (1993-06-01), Wilson et al.
patent: 5283864 (1994-02-01), Knowlton
patent: 5307499 (1994-04-01), Yin
patent: 5347632 (1994-09-01), Filepp et al.
patent: 5422992 (1995-06-01), Motoyama et al.
patent: 5446875 (1995-08-01), Ogisu et al.
patent: 5450575 (1995-09-01), Sites
patent: 5590329 (1996-12-01), Goodnow, II et al.
patent: 5668999 (1997-09-01), Gosling
patent: 5740441 (1998-04-01), Yellin et al.
patent: 0 424 056 (1990-10-01), None
patent: 0 718 764 (1995-12-01), None
patent: 0 718 764 (1996-06-01), None
Necula, “Proof-Carrying Code”, Proceedings of the 24th ACM SIGPLAN-SIFACT Symposium on Principles of programming Language, 1997, pp. 106-119.
Freund et al., “A Formal Framework for the Java Bytecode Language and Verifier”, Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented programming, System, Language, and Applications, 1999, pp. 147-166.
Grimaud G. et al.: “FACADE: A Typed Intermediate Language Dedicated to Smart Cards”,Software Engineering Notes, Association for Computing Machinery, New York, US. vol. 24, No. 6, pp. 476-493 (1999).
Adobe System Inc., “PostScript Language Reference Manual Second Edition,” 1990, pp. 23-143.
Ahamad et al., “An Application of Name Based Addressing to Low Level Distributed Algorithms,” Jan. 1985, IEEE Transactions On Software Engineering, vol. SE-11, No. 1, p. 59.
Almes et al., “The Eden System: A Technical Review,” Jan. 1985, IEEE Transactions On Software Engineering, vol. SE-11, No. 1, pp. 43-58.
Almes, Guy. T, “Integration and Distribution in the Eden System,” Department of Computer Science, University of Washington Seattle, Technical Report 83-01-02, Jan. 19, 1983, pp. 1-18.
Almes, Guy. T, “The Evolution of the Eden Invocation Mechanism,” Department of Computer Science, University of Washington Seattle, Technical Report 83-01-03, Jan. 19, 1983, pp. 1-14.
Almes, Guy. T, “Eden Project Proposal,” Department of Computer Science, University of Washington Seattle, Technical Report 80-10-01, Oct. 1980, pp. i-ii.
Almes et al., “Research in Integrated Distributed Computing,” Department of Computer Science, University of Washington Seattle, Oct. 1979 pp. 1-42.
Almes et al., “The Eden System: A Technical Review,” Department of Computer Science, University of Washington Seattle, Technical Report 83-10-05, Oct. 1983, pp. 1-25.
Almes et al., “Edmas: An Object-Oriented, Locally Distributed Mail System,” Department of Computer Science, FR-35 University of Washington Seattle, Technical Report 84-08-03, Dec. 13, 1984, pp. 1-19.
Almes et al., “Edmas: A Locally Distributed Mail System,” Department of Computer Science, University of Washington Seattle, Technical Report 83-07-01, Jul. 7, 1983, pp. 1-17.
Auerbach et al., “High-Level Language Support for Programming Distributed Systems,” IEEE Transactions On Software Engineering, 1992 p. 320.
Bertz, David., “Drool Over A Little Language That Sports Multiple Inheritance,” Dr. Dobb's Journal, v18, n11, p. 74(4), Oct. 1993.
Bertz, David.,Your Own Tiny Object-Oriented Language: C++? Smalltalk? What About Bob?(An interpreter formed from C++ and Lisp) Dr. Dobb's Journal, Sep., 1991, v16, n9, p. 26(8).
Bertz, David., “Embedded Languages : Ex Talk Allows Users To Extend The Capabilities Of Your Application Programs,” BYTE Nov. 1988; p. 419-423; vol. 13, No. 12.
Black et al., “A Language For Distributed Programming” Department of Computer Science, University of Washington, Technical Report 86-02-03, Feb. 1986, p. 10.
Black, Andrew P., “The Eden Programming Language,” Department of Computer Science, FR-35 University of Washington Seattle, Technical Report 85-09-01, Sep. 1985, pp. 1-19.
Black, Andrew P., “Supporting Distributed Applications: Experience With Eden,” University of Washington Seattle, Presentation at Tenth ACM Symposium on Operating System Principles, Sep. 1985, pp. 1-14.
Black et al., “Distribution and Abstract Types in Emerald,” Department of Computer Science, University of Washington Seattle, Technical Report 85-08-05, Aug. 1985, pp. 1-10.
Black et al., “Distribution and Abstract Types in Emerald,” IEEE Transactions On Software Engineering, vol. SE-13 No. 1 Jan. 1987, pp. 65-76.
Black et al., “The Eden Project: A Final Report,” Department of Computer Science, University of Washington Seattle, Technical Report 86-11-01, pp. 1-28.
Black et al., “Distribution and Abstract Types In Emerald,” University of Washington Seattle, Technical Report 86-02-04, pp. 1-189.
Black et al., “Object Structure in the Emerald System,” University of Washington Seattle, Technical Report 86-04-03, pp. 1-9.
Black, Andrew P., “Supporting Distributed Applications: Experience With Eden,” Department of Computer Science, University of Washington Seattle, Technical Report 85-03-02, Mar. 1985, pp. 1-21.
Cardelli, L., “The Amber Machine,” Proceedings Of The Thirteenth Spring School Of The LITP Proceedings, 1986, pp. 48-70.
Chambers, Craig., “An Efficient Implementation of SELF, A Dynamically-Typed Object Oreinted Language Based On Prototypes,” Conference Proceedings, Special Issue of SIGPLAN Notices, vol. 24, No.: 10, Oct. 1989.
Chung et al., “A “Tiny” Pascal Compiler Part 1: The P-Code Interpreter,” BYTE Publications, Sep. 1978, pp. 58-65, 148-155.
Chung et al., “A “Tiny” Pascal Compiler Part 2: The P-Compiler,” BYTE Publications, Sep. 1978, pp. 34-52.
Duff, Charles B., “Designing An Efficient Language,” BYTE, Aug. 1986, p. 211.
Franks, Neville., “Adding An Extension Language To Your Software: The Little Language/Application Interface,” Dr. Dobb's Journal, Sep. 1991, v16, n9, p. 34(6).
Goldberg et al., “Smalltalk-80 The Language and its Implementation,” Xerox Palo Alto Research Center pp. 1-707.
Gosling et al., “The Java Language Environment A White Paper,” The Java Language Environment, Sun Microsystems, Oct. 1995, pp. 1-84.
Gosling, James., “Java Intermediate Bytecodes” ACM SIGPLAN Workshop On Intermediate Representations (IR '95), Jan. 1995, San Francisco, ACM SIGPLAN Notices, vol. 30, No. 3, Mar. 1995 pp. 111-118.
Gosling, James., “System And Method For Pre-Verification Of Stack Usage In ByteCode Program Loops,” US Application Ser. No.: 08/359,882, Filed 12/20/94 pp. 1-38 Fig. 1-5.
Gosling, James., “Bytecode Program Interpreter Apparatus And Method With Pre-Verification Of Data Type Restrictions&#
Day Herng-der
Finnegan Henderson Farabow Garrett & Dunner L.L.P.
Phan Thai
Sun Microsystems Inc.
LandOfFree
Memory efficient program pre-execution verifier and method does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Memory efficient program pre-execution verifier and method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Memory efficient program pre-execution verifier and method will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3618170