Operational semantics rules for governing evolution of...

Details Operational semantics rules for governing evolution of... Operational semantics rules for governing evolution of...

2007-05-08

2007-05-08

Dam, Tuan (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Programming language

C717S136000, C717S143000

Reexamination Certificate

active

10303343

ABSTRACT:
A program includes expressions written in a process-based language. A process kernel executes sets of operational semantics rules governing the meanings of the expressions in the program. A first expression is parsed. The first expression describes that a process is a choice of two processes. The first process of the two processes expresses that a first query is submitted to a queue, after which the first process continues with a first set of actions. The second process of the two processes expresses that a second query is submitted to the queue, after which the second process continues with a second set of actions. The first expression reduces to a second expression. The second expression describes that a third query is submitted to the queue after which the first process runs in parallel with the second process if the third query is in canonical form.

REFERENCES:
patent: 6584459 (2003-06-01), Chang et al.
patent: 6654734 (2003-11-01), Mani et al.
patent: 6912529 (2005-06-01), Kolfman
patent: 6950821 (2005-09-01), Faybishenko et al.
patent: 7055142 (2006-05-01), Meredith et al.
patent: 7117487 (2006-10-01), Meredith et al.
patent: 2002/0143944 (2002-10-01), Traversat et al.
patent: 2003/0126136 (2003-07-01), Omoigui
“Extensible Markup Language XML 1.0”, Second Edition, Oct. 6, 2000, 50 pages. [Online] [Retrieved at] <http://www.w3.org/TR/2000/REC-xml-20001006.html>.
Microsoft Corp., “What's new in the Apr. 2001 Microsoft XML Parser 4.0 Technology Preview”, Apr. 2001, 3 pages. [Online] [Retrieved at] <http://msdn.microsoft.com/archive>.
Abramsky, S., “Computational Interpretations of Linear Logic,”Theoretical Computer Science 111(1-2):3-57, 1993.
Berger, M., et al., “Sequentiality and the π-Calculus,”in Abramsky, S. (ed.),Proceedings: Typed Lambda Calculi and Applications, 5th Int'l Conference, Krakow, Poland, May 2-5, 2001.
Milner, R., “The Polyadic π-Calculus: A Tutorial,”Proceedings: Int'l Summer School on Logic Algebra of Specification, Marktoberdorf, Germany, 1992.
Yoshida, N., et al., “Strong Normalisation in the π-Calculus,”MCS Technical Report, 2001/09, Mar. 2001.

Affiliated with

Also associated with

Rating

Operational semantics rules for governing evolution 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 Operational semantics rules for governing evolution of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Operational semantics rules for governing evolution of... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3818127