Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2007-04-10
2007-04-10
Beausoliel, Robert (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S015000, C714S016000, C714S019000, C714S020000, C715S252000, C717S114000
Reexamination Certificate
active
10188893
ABSTRACT:
A method and apparatus for providing an undoable programming language. More specifically the present invention relates to providing a fully undoable programming language, where the language includes a fully undoable core language portion and a conventional language portion. In an embodiment of the present invention, a method of encoding a general-purpose undoable programming language to enable fully undoable instructions includes encoding a fully undoable core imperative language portion having a plurality of undoable core instructions, each of the plurality of undoable core instructions to perform at least one undoable operation upon execution, and the at least one undoable operation being fully undoable until final termination of a program written using any of the plurality of undoable core instructions. The method also includes encoding a conventional language portion including a plurality of conventional instructions, each of the plurality of conventional instructions to perform at least one permanent operation upon execution, the at least one permanent operation being permanent upon final termination of the execution of the conventional instruction and each of the plurality of conventional instructions being callable by at least one of the plurality of undoable core instructions.
REFERENCES:
patent: 5111398 (1992-05-01), Nunberg et al.
patent: 5479601 (1995-12-01), Matheny et al.
patent: 5481710 (1996-01-01), Keane et al.
patent: 5659747 (1997-08-01), Nakajima
patent: 5822590 (1998-10-01), Gupta
patent: 6014657 (2000-01-01), Weida et al.
patent: 6111575 (2000-08-01), Martinez et al.
patent: 6446057 (2002-09-01), Vaughan
patent: 6543006 (2003-04-01), Zundel et al.
patent: 6757905 (2004-06-01), Friedman et al.
patent: 7003695 (2006-02-01), Li
patent: 2003/0105885 (2003-06-01), McArdle
G. Di Fabbrizio, et al.; “Extending a Standards-based IP and Computer Telephony Platform to Support Multi-modal Services”, ESCA Workshop on Interactive Dialogue in Multimodal Systems, Kloster Irsec, Germany, Jun. 22-25, 1999; pp. 1-4; Florham Park, NJ, USA.
James E. Archer, Jr., et al.; “User Recovery and Reversal in Interactive Systems”; ACM Transactions on Programming Languages and Systems, Jan. 1984, pp. 1-19, vol. 6, No. 1, Cornell University, USA.
G. Di Fabbrizio, et al.; “Unifying Conversational Multimedia Interfaces For Accessing Network Services Across Communication Devices”; IEEE International Conference on Multimedia and Expo, New York City, New York, USA, Jul. 30-Aug. 2, 2000.
Jeff Ayars, et al.; “Synchronized Multimedia Integration Language (SMIL 2.0)”; W3C Recommendation Aug. 7, 2001; pp. 1-15; http://www.w3org/TR/smil20/.
Arnaud Le Hors, et al.; “Document Object Model (DOM) Level 2 Core Specification”; W3C Recommendation Nov. 13, 2000; pp. 1-107; http://www.w3.org/TR/DOM-Level-2-Core/.
Linda Boyer, et al; “Voice eXtensible Markup Language (VoiceXML) Version 1.0”; W3C Note May 5, 2000, pp. 1-125; http://www.w3.org/tr/2000/NOTE-voicemxml-20000505.
A. Benveniste, et al.; “The Synchronous Approach to Reactive and Real-Time Systems”; Proceedings of the IEEE, vol. 79, No. 9, Sep. 1991; pp. 1270-1282.
International Telecommunication Union: “Specification and Description Language (SDL); Series Z: Languages and General Software Aspects for Telecommunication Systemss”; ITU-T Recommendation z.100, Nov. 1999.
James Clark, et al.; “XML Path Language (XPATH) version 1.0”; W3C Recommendation Nov. 16, 1999; pp. 1-35; http://www.w3org/TR/1999/REC-xpath-19991116.
Thierry Michel; “Synchronized Multimedia Activity Statement”;http://www.w3.org/Audio Video/Activity.html.
Thierry Michel; “Synchronized Multimedia”; http://www.w3.org/AudioVideo/.
“The ESTEREL Language”; “Welcome to Esterel and Synchronous Reactive Programmingl;” http://www-sop.inria.fr/meije/esterel/esterel-eng.html.
Stephen Edwards; “Synchronous Reactive Systems and the SR Domain”; http://www.eecs.berkeley.edu/˜sedwards/.
Di Fabbrizio Giuseppe
Klarlund Nils
AT & T Corp.
Beausoliel Robert
Manoskey Joseph D.
LandOfFree
Method and apparatus for a programming language having fully... 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 a programming language having fully..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for a programming language having fully... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3726822