Orc (programming language)
Encyclopedia
Orc is a concurrent, nondeterministic
computer programming language
created by Jayadev Misra at the University of Texas at Austin
. It's based on a Kleene algebra
model.
Nondeterministic programming
A nondeterministic programming language is a language which can specify, at certain points in the program , various alternatives for program flow...
computer programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
created by Jayadev Misra at the University of Texas at Austin
University of Texas at Austin
The University of Texas at Austin is a state research university located in Austin, Texas, USA, and is the flagship institution of the The University of Texas System. Founded in 1883, its campus is located approximately from the Texas State Capitol in Austin...
. It's based on a Kleene algebra
Kleene algebra
In mathematics, a Kleene algebra is either of two different things:* A bounded distributive lattice with an involution satisfying De Morgan's laws , additionally satisfying the inequality x∧−x ≤ y∨−y. Kleene algebras are subclasses of Ockham algebras...
model.