Secure Operations Language: Difference between revisions

Revision as of 15:58, 7 January 2007

Revision as of 08:06, 22 April 2007

Line 1:

{{Orphan|date=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.

Line 7:

==References==

{{cite journal | author=Bharadwaj, Ramesh | title= SOL: A Verifiable Synchronous Language for Reactive Systems | journal=[[Electronic Notes in Theoretical Computer Science]] | year=2002 | volume=65 | issue=5 | url=http://dblp.uni-trier.de/rec/bibtex/journals/entcs/Bharadwaj02 }}

[[Category:Synchronous programming languages]]

{{comp-sci-stub}}