* RE: OpenVMS Boot Camp - 2016 - looking for topics and feedback
@ 2016-04-10 18:40 Shark8
0 siblings, 0 replies; only message in thread
From: Shark8 @ 2016-04-10 18:40 UTC (permalink / raw)
While not _directly_ an Ada topic, I know that a good number of older Ada programmers have experience w/ VMS, and so this might be of interest to them.
Also, given that VSI is involved in porting VMS onto the x86_64 architecture, it provides a unique opportunity to show how implementing the common/foundational networking modules in Ada/SPARK can improve their security by proving the implementations are correctly implemented.* (The Common Language Environment [CLE] also means that software written in other language can take advantage of these safe/secure implementations w/o much difficulty.)
The link to the topic:
https://groups.google.com/forum/#!topic/comp.os.vms/eBtxC8lKOH4
* -- Like how Ironsides DNS is free from remote-execution, runtime-errors, and data-flow errors.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-04-10 18:40 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-04-10 18:40 OpenVMS Boot Camp - 2016 - looking for topics and feedback Shark8
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox