Electrical computers and digital processing systems: interprogra – Miscellaneous
Reexamination Certificate
2009-04-06
2011-11-01
Truong, Lechi (Department: 2194)
Electrical computers and digital processing systems: interprogra
Miscellaneous
C714S039000
Reexamination Certificate
active
08051427
ABSTRACT:
There is provided a method of establishing a logical state of an instance of a program. The method includes executing a first session. The program includes multiple sequences. Each sequence includes alternating deterministic operations and requests for non-deterministic operation results. A non-deterministic operation result is derived from a non-deterministic operation. The execution of the first session includes yielding a request for a non-deterministic operation result for one of the sequences. The request is generated by a first deterministic operation. The method includes terminating the first session at a first logical state prior to executing a second deterministic operation. The method includes executing upon the request. The method includes executing a second session using a log to establish a logical state of the instance. The method includes storing the non-deterministic operation result to the log. The method includes executing a continuation of the given sequence using the non-deterministic operation result.
REFERENCES:
Peter Jason Willemsen, Behavior and Scenario Modeling for Real-Time vritual Environments, 2000.
Ruy Ley-Wild, Matthew Fluet, Umut Acar, Compiling Self-Adjusting Programs with Continuations, Carnegie Mellon University, Toyota Technological Institute at Chicago, Sep. 24, 2008.
Peter Thiemann, WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms, Universitat Freiburg, Georges-Kohler-Allee 079, D-79085 Freiburg, Germany.
Peter Thiemann, An Embedded Domain-Specific Language for Type-Safe Server-Side Web-Scripting, Universitat Freiburg, Germany.
HUBFS: the Place for F#, Abstracted Processing. Copyright 2006. JJB, Research. cs.hubfs.net/forums/thread/6909,aspx> 9 pages.
Itasks, Generating Multi-User Workflow Systems for the WWWeb. www.cs.ru.nl/˜rinus/iTaskIntro.html> 6 pages.
Chalmers, Advanced Functional Programming Assignment 2 www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/lab2—printable.html.> 9 pages.
Stetina Brunda Garred & Brucker
Truong Lechi
LandOfFree
Method of establishing a logical state of an instance using... 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 of establishing a logical state of an instance using..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of establishing a logical state of an instance using... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4285317