Verifier to check intermediate language

Details Verifier to check intermediate language Verifier to check intermediate language

2007-01-30

2007-01-30

Nguyen-Ba, Antony (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S114000, C717S118000, C717S141000, C717S148000, C719S316000

Reexamination Certificate

active

10370359

ABSTRACT:
Verification of intermediate language code. In one embodiment, a computer-implemented method first verifies metadata of an intermediate language code for consistency and accuracy, and then verifying the intermediate language code for consistency and accuracy. This latter part in one embodiment is accomplished by performing first a syntactic check of the intermediate language code, and then a semantic check of the intermediate language code.

REFERENCES:
patent: RE33706 (1991-10-01), Mohri
patent: 5280617 (1994-01-01), Brender et al.
patent: 5659753 (1997-08-01), Murphy
patent: 5668999 (1997-09-01), Gosling
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5836014 (1998-11-01), Faiman, Jr.
patent: 5905895 (1999-05-01), Halter
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6075940 (2000-06-01), Gosling
patent: 6092147 (2000-07-01), Levy et al.
patent: 6233733 (2001-05-01), Ghosh
patent: 6247174 (2001-06-01), Santhanam et al.
patent: 6308317 (2001-10-01), Wilkinson et al.
patent: 6704923 (2004-03-01), Gosling
Gosling-McGilton, The JAVA Language Environment: Contents, White Paper, May 1996, http://java.sun.com/docs/white/langenv/.
Thorn, “Programming Languages for Mobile Code,”ACM Computing Surveys, vol. 29, No. 3, Sep. 1997.
Rémy et al., “Objective Caml—A general purpose high-level programming language,”ERCIM NewsNo. 36, available at http://caml.inria.fr/ercim.html [accessed Jun. 1, 1999].
Rouaix, “A Web Navigator with applets in Caml,”Computer Networks and ISDN Systems, vol. 28, Nos. 7-11, Proceedings of the Fifth International World Wide Web Conference, Paris, France, May 6-10, 1996.
“Cmm and Java Compared: A comparison of modern languages for the internet and WorldWide Web,” published Apr. 1997, available at http://www.nombas.com/us/otherdoc/javavcmm.htm [accessed Jul. 12, 1999].
Howard, “Eiffel A Quick Overview,”Journal of Object-Oriented Programming, vol. 5, No. 8, Jan. 1993.
Schoenefeld, “Object-oriented Design and Programming: An Eiffel, C++, and Java Course for C Programmers,” University of Tulsa, Tulsa, OK,Proceedings of the twenty-eight SIGCSE Technical Symposium on Computer Science Education, vol. 29, No. 1, Mar. 1997.
“Web Programming Languages,” available at http://www.objs.com/survey/lang.htm [accessed Jul. 12, 1999].
Leroy et al., “Security properties of typed applets,” Proceedings of the 25thACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, Jan. 19-21, 1998.
Necula et al., “Safe Kernel Extensions Without Run-Time Checking,” Carnegie Mellon University, Pittsburgh, PA,Proceedings of the Second Symposium on Operating Systems Design and Implementation, Seattle, WA, Oct. 28-31, 1996.
Wahbe et al., “Efficient Software-Based Fault Isolation,” University of California, Berkeley, CA,Proceedings of the 14thACM Symposium on Operating Systems Principles, 1993.
Necula et al., “Safe, Untrusted Agents using Proof-Carrying Code,” Carnegie Mellon University, Pittsburgh, PA, submitted to Lecture Notes inComputer ScienceSpecial Issue on Mobile Agents, Oct. 1997.
Necula et al., “Proof-Carrying Code,” Carnegie Mellon University, Pittsburgh, PA,Proceedings of the 24thAnnual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, Jan. 15-17, 1997.
Dorwand et al., “Inferno,”Proceedings IEEE COMPCON, San Jose, CA, Feb. 23-26, 1997.
“A comparison of Inferno and Java,” Computing Sciences Research Center of Bell Labs, Murray, NJ White Paper available at http://www.lucent-inferno.com [accessed Jul. 12, 1999].
“Inferno User's Guide.” pp. 1-1 through 1-14.
Thorn, “Programming Languages for Mobile Code,”ACM Computing Surveys, vol. 29, No. 3, Sep. 1997.
Gostling et al., “The Java™ Language Environment,” White Paper, Sun Microsystems, Moutain View, CA, May 1996.
Franz et al., “Does Java Have Alternatives,” University of California, Irvine, CA,Proceedings of the Third California Software Symposium(CCS 1997).
Youmans, “Java: Cornerstone of the Global Network Enterprise,” Virginia Tech, Spring 1997.
Ortiz, Jr., “The Battle over Real-Time Java,”Computer, Jun. 1999.
Elements of comparison Java/Hotjava vs. Caml/MMM, available at http://pauillac.inria.fr/˜rouaix/mmm/current/javacomp.html [accessed May 28, 1999].
Kramer et al., “The Java™ Platform,” Sun Microsystems 1997 available at http://www.javasoft.com/docs/white/platform/javaplatformTOC.doc.html [accessed Jul. 22, 1999]..
Liang et al., “Dynamic Class Loading in the Java™ Virtual Machine,” Sun Microsystems, Palo Alto, CA, ACM Sigplan Notices, vol. 33, No. 10, Oct. 1998.
Yelland, “A Compositional Account of the Java™ Virtual Machine,” Sun Microsystems, Palo Alto, CA,Proceedings of the 26thACM SIGPLAN-SIGACT on Principles of Programming Languages, 1999.
Goldberg, “A Specification of Java Loading and Bytecode Verification,” Kestrell Institute, Palo Alto, CA,Proceedings of the 5thACM Conference on Computer and Communications Security, 1998.
Franz et al., “Introducing Juice,” University of California, Irvine, CA, Oct. 30, 1966, available at http://caesar.ics.uci.edu/intro.html [accessed Jul. 7, 1999].
Waddington et al., “Java: Virtual Machine for Virtually Any Platform,”Embedded Systems Programming, vol. 9, No. 6, Jun. 1966.
Gosling et al., “Java Intermediate Bytecodes,”Proceedings ACM Sigplan Workshop on Intermediate Representations, San Francisco, CA, Jan. 22, 1995, ACM SIGGPLAN Notices, vol. 30, No. 3, Mar. 1995.
Frascadore, “Java Application Server Security Using Capabilities,”Java™ Report, Mar. 1999, pp. 31-42.
Zhang, “Secure Code Distribution,”Computer, vol. 30, Issue 6, Jun. 1997, pp. 76-79.
Hester et al., “Building Flexible and Extensible Web Applications with Lua,”Journal of Universal Computer Science, vol. 4, No. 9, 1998, pp. 748-762.
Waldo, “Programming with Java,”Unix Review, May 1996, pp. 31-37.
Harbison, “Modula-3,”BYTE, vol. 15, No. 12, Nov. 1990, pp. 385-392.
The Modula-3 Programming Language,Dr. Dobb's Journal, vol. 19, No. 12, Winter 1994.
Grimm et al., “Access Control for the SPIN Extensible Operating System,” University of Washington, Seattle, WA,IEEE Symposium on Security and Privacy, 1997, p. 205.
Robinson, “Modula-3 in an undergraduate Computer Science course,”The Second International MODULA-2 Conference, ‘MODULA-2 and BEYOND’, Sep. 11, 1991.
Templ, “Oberon vs. C++,” The Modula Tor, Oberon-2 and Modula-2 Technical Publication, No. 9, Oct. 1994.
Adl-Tabatabi et al., “Efficient and Language-Independent Mobile Programs,”ACM Sigplan Notices, vol. 31, No. 5, May 1996.
“Differences Between Phantom and Java,” from Internet at http://www.apocalypse.org/pub/u/antony/phantom/javadiffs.htm [accessed Jul. 19, 1999].
Rook, “A Language Collector Comments on: Java, Perl & Python,” available at http://www.chips.navy.mil/chips/archives/97 [accessed Jul. 12, 1999].
Masse, “Development Strategies for Better Software: An Analysis of Two Next-Generation Languages: Java and Python,” Fifth Python Workshop, Nov. 26, 1996, from Python website http://www.python.org/˜masse/papers/java-python96 [accessed Jul. 12, 1999].
“Development Strategies for Better Software,” Fifth Python Workshop, Dec. 12, 1996, from Python website http://www.python.org/˜masse/papers/java-python96.
Nicolaou, “CS 642 Term Paper: A survey of distributed languages,” Python website, May 9, 1996.
Van Rossum, “Grail—The Browser for the Rest Of Us (Draft),” Corporation for National Research Initiatives, Reston, Virginia, M

Affiliated with

Also associated with

Rating

Verifier to check intermediate language does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Verifier to check intermediate language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verifier to check intermediate language will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3776664