Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2005-11-07
2010-06-01
Sough, Hyung S (Department: 2194)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S131000
Reexamination Certificate
active
07730455
ABSTRACT:
A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.
REFERENCES:
patent: 5983348 (1999-11-01), Ji et al.
patent: 6128774 (2000-10-01), Necula et al.
patent: 2003/0126590 (2003-07-01), Burrows et al.
patent: 2004/0031025 (2004-02-01), Brisset
patent: WO 2005/064474 (2005-07-01), None
Jeremy W. Nimmer, Michael D. Ernst, Static verification of dynamically detected program invariants Integrating Daikon and ESC/Java, Jul. 2002, ACM SIGSOFT Software Engineering Notes, vol. 27, Issue 4, pp. 229-239.
Karl Crary, Stephnie Weirich, Resource Bound Certification, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2000, pp. 184-198.
Rijiv Gupta, Optimizing array bound checks using flow analysis, ACM Letters on Programming Languages and Systems (LOPLAS), Mar.-Dec. 1993, vol. 2, Issue 1-4, pp. 135-150.
David Evans; Static Detection of Dynamic Memory Errors; ACM SIGPLAN Notices; vol. 21, issue 5 (May 1996); pp. 44-53.
Cormac Flanagan, K. Rustan M. Leino, Mark Lillbridge, Greg Nelson, James B. Saxe, Raymie Stata; Extended static checking for Java; Proceedings of the ACM SIGPLAN 2002 PLDI; Jun. 17-19, 2002; pp. 234-245.
Aho, A., et al., “Foundations of Computer Science” (C Edition). W. H. Freeman, 1995.
Ermedahl, A., et al., “Deriving Annotations for Tight Calculation of Execution Time”, In Proceedings of Euro-Par '97, vol. 1300 of Lecture Notes in Computer Science, pp. 1298-1307.
Hopcroft, J. E., et al., “Introduction to Automata Theory, Languages and Computation”, Addison Wesley Publishing Co., Massachusetts, 1979. Chapter 4.
Mitchell, J. C., “Foundation for Programming Languages”, MIT Press, 1996. Chapter 11.
Park, C., et al., “Experiments with a Program Timing Tool Based on Source-Level Timing Schema.” IEEE Transactions on Computers, 24:48-57, May 1991.
PCT Written Opinion for PCT Appl. No. US2005/040690, mailed May 18, 2007 (7 pages).
International Search Report mailed Apr. 26, 2006. 6 pages.
Written Opinion of the International Searching Authority. 5 pages.
Crary K., et al. “Resource bound certification”., Conference record of Popl '00: the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Jan. 2000.
Czajkowski G., et al “JRes: a resource accounting interface for Java”, Proceeding of the ACM OOPSLA Conference. Oct. 1998.
Chander Ajay
Espinosa David
Islam Nayeem
Lee Peter
Necula George
Blakely , Sokoloff, Taylor & Zafman LLP
Jordan Kimberly
NTT Docomo Inc.
Sough Hyung S
LandOfFree
Method and apparatus for enforcing safety properties of... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for enforcing safety properties of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for enforcing safety properties of... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4151892