Bytecode program interpreter apparatus and method with pre-verif

Details Bytecode program interpreter apparatus and method with pre-verif Bytecode program interpreter apparatus and method with pre-verif

1994-12-20

1998-05-05

Oberly, Alvin

395406R, G06F 945

Patent

active

057489645

ABSTRACT:
A program interpreter for computer programs written in a bytecode language, which uses a restricted set of data type specific bytecodes. The interpreter, prior to executing any bytecode program, executes a bytecode program verifier procedure that verifies the integrity of a specified program by identifying any bytecode instruction that would process data of the wrong type for such a bytecode and any bytecode instruction sequences in the specified program that would cause underflow or overflow of the operand stack. If the program verifier finds any instructions that violate predefined stack usage and data type usage restrictions, execution of the program by the interpreter is prevented. After pre-processing of the program by the verifier, if no program faults were found, the interpreter executes the program without performing operand stack overflow and underflow checks and without performing data type checks on operands stored in operand stack. As a result, program execution speed is greatly improved.

REFERENCES:
patent: 3878513 (1975-04-01), Werner
patent: 4521851 (1985-06-01), Trubiskey et al.
patent: 4524416 (1985-06-01), Stanley et al.
patent: 5422992 (1995-06-01), Motoyama et al.
patent: 5446875 (1995-08-01), Ogisu et al.
"An Efficient Implementation of Self, a Dynamically-typed Object Oriented Languge Based on Prototypes" ACM Press Oct. 1-6 1989, by Craig Chamber et al.
"Post Script Language Reference Manual" Addison-Wesley Publishing Company, 1985.
"Designing an Efficient Language" Aug. 1986, Byte. Charles B. Duff.
"Character Simulation with Scriptx", A General Purpose Frame Work for Dynamic Behavior Nov. 1994.
Franks, Neville, Dr. Dobb's Journal, v16, n9, p.34(6), Sep. 1991. "Adding an Extension Language to Your Software: the Little Language Interface".
David Betz, Dr. Dobb's Journal, v16, n9, p.26(8) Sep. 1991 "Your Own Tiny Object-oriented Language; C++,, Smalltalk? What About Bob?".
David Betz. Dr. Dobb's Journal v16, n/1, p.74(4), Oct. 1993, "Dave's Reyeled ooLanguge: Drool Over a Little Language That Sports Multiple Inlertome".
David Betz, Byte, Nov. 1988, p. 419; vol. 13, No. 12, Embedded Language; Extalk, Allows Used to Extend to Capabilities Your Application Program.
"ACM Sig Plan Notices", vol. 30, Nov. 3, Mar. 1995 Sig plan Workshop on Intermediate Representation (TR'95, Jan. 22, 1995).
"The VLISP Verified Scheme System", pp. 41-62 An International Journal 8, 33-100(1995) Kluwer, Academiz Publisher, Boston.
King, J.C. "A Program Verifier", North Holland Publishing Co, Amesterdam, Netherlands, 1972, vol. 1, pp. 234-249.
Corinna Kinchim, Exe, v6, n1, p.66(5), Jun. 1991. "Post Script: PS zt's programming".
Cardell. L, Conference 6-10 May 1985 "The Amber Machine".
Seybold Report on Desktop Publishing (v5, n7, p.(9)(1), Mar. 4, 1991 "A Postsript Backgrounder".
"Small talk-80, The Language and its Implementation" Adele Goldberb and David Robson. Addison-Wesley-Publishing Company 1983.
Ken Thompson, "Regular Expression Search Algorithm," Communications of the ACM, Jun. 1968, vol. 11, No. 6, pp. 419-422.
Kin-Man Chung and Herbert Yuen, "A 'Tiny' Pascal Compiler; Part 1: The P-Code Interpreter," BYTE Publications, Inc., Sep. 1978.
Kin-Man Chung and Herbert Yuen, "A 'Tiny' Pascal Compiler; Part 2: The P-Compiler," BYTE Publications, Inc., Oct. 1978.
Gene McDaniel, "An Analysis of a Mesa Instruction Set," Association for Computing Machinery, May 1982.
Kenneth A. Pier, "A Retrospective on the Dorado, A High-Performance Personal Computer," IEEE Computer Society, 10th Annual Intl. Symposium on Computer Architecture, 1983, pp. 252-269.
James G. Mitchell, et al., "Mesa Language Manual," Xerox Corporation, Palo Alto Research Center.
Schauer, H., "Architektur und Implementierung eines PASCAL-Systems fur Mikrocomputer", Elektronische Rechenanlagen, vol. 24 (1982), Jun. No. 3, pp. 108-117.
Perrott, R.H., et al., "A Supercomputer Program Development System", Software Practice & Experience 17 (1987) Oct., No. 10, pp. 663-683.
Wright, Andrew K., et al., "A Practical Soft Type System for Scheme", LISP 94-Jun./1994 Orlando, Florida, pp. 250-262.
Gosling, James, "Java Intermediate Bytecodes", ACM Sigplan Workshop on Intermediate Representation (IR '95), Jan. 1995, San Francisco, California, pp. 111-118.

Affiliated with

Also associated with

Rating

Bytecode program interpreter apparatus and method with pre-verif does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Bytecode program interpreter apparatus and method with pre-verif, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bytecode program interpreter apparatus and method with pre-verif will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-69686