Jump to content

Secure Operations Language

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Nagle (talk | contribs) at 21:42, 27 March 2006 (Add reference). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

This article is a stub. You can help Wikipedia by expanding it.

The Secure Operations Language (SOL) has been developed jointly by the Naval Research Laboratory and the West Virginia University. The investigators of the project are Dr Ramesh Bharadwaj from Naval Research Laboratory and Dr Supratik Mukhopadhyay from West Virginia University. SOL is a synchronous programming language for developing distributed applications and is based on sound software engineering principles developed in the SCR project at the Naval Research Laboratory in the late seventies and early eighties.

References

Bharadwaj, Ramesh (2002). "SOL: A Verifiable Synchronous Language for Reactive Systems". Electr. Notes Theor. Comput. Sci. 65 (5).

Retrieved from "https://en.wikipedia.org/w/index.php?title=Secure_Operations_Language&oldid=45759129"