Secure Operations Language

From Wikipedia, the free encyclopedia

You have new messages (last change).
There are very few or no other articles that link to this one.
Please help introduce links in articles on related topics. After links have been created, remove this message.
This article has been tagged since November 2006.

The Secure Operations Language (SOL) was developed jointly by the United States Naval Research Laboratory and West Virginia University in the USA. SOL is a synchronous programming language for developing distributed applications and is based on software engineering principles developed in the Software Cost Reduction project at the Naval Research Laboratory in the late 1970s and early 1980s.

The investigators of the project are Dr Ramesh Bharadwaj from the Naval Research Laboratory and Dr Supratik Mukhopadhyay from West Virginia University.

[edit] References

Bharadwaj, Ramesh (2002). "SOL: A Verifiable Synchronous Language for Reactive Systems". Electronic Notes in Theoretical Computer Science 65 (5).


Comp Sci logo This computer science-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../s/e/c/Secure_Operations_Language_3100.html"