Secure Operations Language: Difference between revisions

Revision as of 12:32, 3 December 2006

Latest revision as of 00:08, 3 August 2022

(16 intermediate revisions by 11 users not shown)

Line 1:

{{About|the 20th century SOL language|the language for the Ethereum public blockchain and programmable transaction platform that uses .sol as file extension|Solidity}}

{{linkless|November 2006}}

{{Notability|date=January 2011}}

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 '''Secure Operations Language''' ('''SOL''') was developed jointly by the [[United States Naval Research Laboratory]] and [[WestUtah VirginiaState University]] in the [[USA]]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)

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

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 [http://www.cs.usu.edu/~supratik Dr. Supratik Mukhopadhyay] from WestUtah VirginiaState University.

==References==

* {{cite journal | author=Bharadwaj, Ramesh | title= SOL: A Verifiable Synchronous Language for Reactive Systems | journal=[[Electronic Notes onin Theoretical Computer Science]] | year=2002 | volume=65 | issue=5 | url=http://dblp.uni-trier.de/rec/bibtex/journals/entcs/Bharadwaj02 | doi=10.1016/S1571-0661(05)82565-4 | pages=140 | doi-access=free }}

[[Category:Formal specification languages]]

[[Category:Synchronous programming languages]]