Jump to content

Secure Operations Language

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by OAbot (talk | contribs) at 16:00, 17 April 2020 (Open access bot: doi added to citation with #oabot.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

This article is about the 20th century SOL language. For the language for the Ethereum public blockchain and programmable transaction platform that happens to use a .sol prefix convention, see Solidity.

The Secure Operations Language (SOL) was developed jointly by the United States Naval Research Laboratory and Utah State University in the United States. SOL is a domain-specific 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. SOL is intended to be a domain-specific language for developing service-based systems. Concurrently, a domain-specific extension of Java (SOLj) is being developed (FTDCS 2007) Application domains include sensor networks, defense and space systems, healthcare delivery, power control, etc.

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

References

  • Bharadwaj, Ramesh (2002). "SOL: A Verifiable Synchronous Language for Reactive Systems". Electronic Notes in Theoretical Computer Science. 65 (5): 140. doi:10.1016/S1571-0661(05)82565-4.


Stub icon

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

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