[Openmcl-devel] Historical Question
billclem at gmail.com
Fri Dec 15 20:43:12 EST 2006
> I remember someone (probably Gary) mentioning that OpenMCL had originally been envisioned for use in spacecraft and so forth.
> I was curious if OpenMCL had ever been used for such an application?
You'll find some background on Erann Gat's page "Lisping at JPL"
(http://www.flownet.com/gat/jpl-lisp.html) - in particular, the
section titled "2000 - MDS".
There is also some information in the presentation that Gary Byers
gave to the ACL2 seminar (http://bc.tech.coop/blog/050824.html).
I'm sure Gary has a lot of additional tidbits that he can share. ;-)
More information about the Openmcl-devel