[Openmcl-devel] Historical Question

[Bill Clementson]

Hi Brent,

> 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. ;-)

--
Bill Clementson