Secure Operations Language: Difference between revisions

Revision as of 22:09, 27 March 2006

Latest revision as of 00:08, 3 August 2022

(21 intermediate revisions by 14 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}}

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.

{{Notability|date=January 2011}}

The '''Secure Operations Language''' ('''SOL''') has beenwas developed jointly by the [[United States Naval Research Laboratory]] and the[[Utah West VirginiaState University.]] The investigators ofin the project are Dr Ramesh Bharadwaj from Naval Research Laboratory andUnited Dr Supratik Mukhopadhyay from West Virginia UniversityStates. SOL is a ___domain-specific synchronous [[programming language]] for developing distributed applications and is based on sound [[software engineering]] principles developed in the SCRSoftware Cost Reduction project at the Naval Research Laboratory in the late seventies1970s and early eighties1980s. 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 [http://www.cs.usu.edu/~supratik Dr. Supratik Mukhopadhyay] from Utah State University.

==References==

* {{cite journal | author=Bharadwaj, Ramesh | title= SOL: A Verifiable Synchronous Language for Reactive Systems | journal=Electr.[[Electronic Notes Theor.in Comput.Theoretical Sci.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:Synchronous programming languages]]

{{comp-sci-stub}}

[[Category:Formal methods]]

[[Category:Logic in computer science]]

[[Category:Theoretical computer science]]