Re: Certifiable code

From: Joseph Lorenzo Hall <joehall_at_gmail_dot_com>
Date: Tue Aug 31 2004 - 17:50:50 CDT

On Tue, 31 Aug 2004 13:49:56 -0700 (PDT), David Jefferson
<> wrote:
> > So my questions of the moment are these:
> >
> > 1. What programming language? (This is not a monolithic
> > question;
> > different parts of the system could be written in different
> > languages.)
> There are currently no programming langiage restrictions (except
> as I recall on assembly language).

Further, (as I think David J. may be able to attest to) there's
evidence that a Diebold employee or subcontractor included code in a
programming language *that he himself invented* (files end in .ABO).
I wonder what the ITAs do with that? It would seem that you'd need
the source of the compiler used for that code, etc. to really know
what's going on there.


Joseph Lorenzo Hall
UC Berkeley, SIMS PhD Student
= The content of this message, with the exception of any external 
= quotations under fair use, are released to the Public Domain    
Received on Tue Aug 31 23:17:22 2004

This archive was generated by hypermail 2.1.8 : Tue Aug 31 2004 - 23:17:23 CDT