Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-10-03
2006-10-03
Chaki, Kakali (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S146000
Reexamination Certificate
active
07117488
ABSTRACT:
An inherently safe code format for representing computer programs is disclosed. The format provides incorruptible referential integrity and uses type separation to achieve intrinsic type safety. The format preserves a safety guarantee found in a source code language representation of the computer program while the computer program proceeds through various stages of the code compilation process.
REFERENCES:
patent: 5530866 (1996-06-01), Koblenz et al.
patent: 5659753 (1997-08-01), Murphy et al.
patent: 5732273 (1998-03-01), Srivastava et al.
patent: 5974549 (1999-10-01), Golan
patent: 6021273 (2000-02-01), Griesemer
patent: 6023764 (2000-02-01), Curtis
patent: 6086632 (2000-07-01), Hirotani
patent: 6128774 (2000-10-01), Necula et al.
patent: 6131165 (2000-10-01), Lipkin et al.
patent: 6151618 (2000-11-01), Wahbe et al.
patent: 6272612 (2001-08-01), Bordaz et al.
patent: 6279111 (2001-08-01), Jensenworth et al.
patent: 6282652 (2001-08-01), Scheifler
patent: 6629312 (2003-09-01), Gupta
patent: 6779114 (2004-08-01), Chow et al.
patent: 6851108 (2005-02-01), Syme et al.
patent: 2002/0026633 (2002-02-01), Koizumi et al.
Michael Franz,Code-Generation-On-The-Fly, A Key to Portable Software, ETH Zurich, Mar. 1994.
Michael Franz, T. Kistler,Slim BinariesCommunications of the ACM, Dec. 1997, pp. 87-94.
B.K. Rosen, N.M. Wegman, F.K. Zadeck,Global Value Numbers and Redundant Computationsfrom Fifteenth Annual POPL Conference 1988.
Architecture Neutral Distribution Format—X/Open Preliminary Specification, X/Open Company Ltd., Jan. 1996.
Joseph Hummer, Ana Azevedo, David Kolson, and Alexandru Nicolau,Annotating the Java Bytecodes in Support of Optimization, Concurrency: Practice and Experience. Nov. 1997, vol. 9(11): 1003-1016.
T. Kistler, Michael Franz,A Tree-Based Alternative to Java Byte-Codes, International Journal of Parallel Programming, 27 (1):21-34, Feb. 1999.
Greg Morrisett, David Walker, Karl Crary, Neal Glew,From System F to Typed Assembly Language ACM Trans. Prog. Lang. And Sys.23(3): 528-569, May 1999.
G.C. Necula,Proof Carrying Code. Symposium on Principles of Programming Languages, In POPL '97 Paris, France, Jan. 1997.
K.V. Nori, U. Ammann,Pascal—The Language and Its Implementation, Editor D.W. Barron, John Wiley and Sons, Ltd., 1981, pp. 125-170.
Shao Zhong,Typed Common Intermediate Format, 1997 USENIX Conference on Domain-Specific Languages, 89-101.
Tim Lindholm, Frank Yellin,The Java Virtual Machine Specification, Second Edition, Addision Wesley, May 1999.
Common Language Infrastructure(CLI)Partition III, CIL Instruction Set, from http://msdn.microsoft.com
et/ecma/, 2001.
Wolfram Amme, Niall Dalton, Jeffery von Roone, Michael Franz,SafeTSA: A Type Safe and Referentially Secure Mobile-Ciode Representation Based on Static Single Assignment Form, 2001.
Dan Seth Wallach,A New Approach to Mobile Code Security, Jan. 1999, 1-171.
Wolfram Amme, Niall Dalton, Peter H. Frohlich, Vivek Haldar, Michael Franz,Project TRANSPROSE: Reconciling Mobile-Code Security with Execution Efficiency1-15.
Andrew W. Appel, Edward W. Felten, Zhong Shao,Scaling Proof-Carrying Code to Production Compilers and Security Policies, Jan. 1999, 1-21.
Insik Shin, John C. Mitchell,Java Bytecode Modification and Applet Security1-20.
Amme Wolfram
Franz Michael
Von Ronne Jeffrey
Mitchell Jason
The Regents of the University of California
LandOfFree
Safe computer code formats and methods for generating safe... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Safe computer code formats and methods for generating safe..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Safe computer code formats and methods for generating safe... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3620052