221:
29:
165:
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.
16:
This article is about the 20th century SOL language. For the language for the
Ethereum public blockchain and programmable transaction platform that uses .sol as file extension, see
189:
281:
161:
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
262:
146:
53:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
105:
77:
124:
84:
286:
91:
50:
73:
255:
46:
62:
162:
248:
150:
98:
158:
154:
39:
184:
169:
The investigators of the project are Dr. Ramesh
Bharadwaj from the Naval Research Laboratory and
58:
54:
228:
198:
232:
203:
275:
220:
17:
170:
45:
Please help to demonstrate the notability of the topic by citing
22:
185:"SOL: A Verifiable Synchronous Language for Reactive Systems"
153:
in the United States. SOL is a domain-specific synchronous
157:
for developing distributed applications and is based on
236:
190:Electronic Notes in Theoretical Computer Science
256:
8:
263:
249:
202:
125:Learn how and when to remove this message
147:United States Naval Research Laboratory
7:
217:
215:
14:
282:Synchronous programming languages
219:
27:
145:) was developed jointly by the
1:
204:10.1016/S1571-0661(05)82565-4
235:. You can help Knowledge by
173:from Utah State University.
74:"Secure Operations Language"
40:general notability guideline
303:
214:
183:Bharadwaj, Ramesh (2002).
139:Secure Operations Language
47:reliable secondary sources
36:The topic of this article
15:
171:Dr. Supratik Mukhopadhyay
38:may not meet Knowledge's
163:domain-specific language
287:Computer science stubs
151:Utah State University
159:software engineering
155:programming language
42:
244:
243:
135:
134:
127:
109:
37:
294:
265:
258:
251:
229:computer science
223:
216:
208:
206:
130:
123:
119:
116:
110:
108:
67:
31:
30:
23:
302:
301:
297:
296:
295:
293:
292:
291:
272:
271:
270:
269:
212:
182:
179:
131:
120:
114:
111:
68:
66:
44:
32:
28:
21:
12:
11:
5:
300:
298:
290:
289:
284:
274:
273:
268:
267:
260:
253:
245:
242:
241:
224:
210:
209:
178:
175:
133:
132:
35:
33:
26:
13:
10:
9:
6:
4:
3:
2:
299:
288:
285:
283:
280:
279:
277:
266:
261:
259:
254:
252:
247:
246:
240:
238:
234:
231:article is a
230:
225:
222:
218:
213:
205:
200:
196:
192:
191:
186:
181:
180:
176:
174:
172:
167:
164:
160:
156:
152:
148:
144:
140:
129:
126:
118:
107:
104:
100:
97:
93:
90:
86:
83:
79:
76: –
75:
71:
70:Find sources:
64:
60:
56:
52:
48:
41:
34:
25:
24:
19:
237:expanding it
226:
211:
194:
188:
168:
142:
138:
136:
121:
115:January 2011
112:
102:
95:
88:
81:
69:
51:independent
276:Categories
197:(5): 140.
177:References
85:newspapers
59:redirected
49:that are
18:Solidity
99:scholar
63:deleted
101:
94:
87:
80:
72:
55:merged
227:This
106:JSTOR
92:books
61:, or
233:stub
149:and
137:The
78:news
199:doi
143:SOL
278::
195:65
193:.
187:.
57:,
264:e
257:t
250:v
239:.
207:.
201::
141:(
128:)
122:(
117:)
113:(
103:·
96:·
89:·
82:·
65:.
43:.
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.