[TUHS] Prof Don Good [was Re: A fuzzy awk

Charles H Sauer (he/him) sauer at technologists.com
Sun May 26 03:53:01 AEST 2024


On 5/25/2024 12:36 PM, Tom Perrine wrote:
> Another Gypsy user here...
> 
> For KSOS-11 the kernel was described in SPECIAL - as a set of axioms and 
> theorems. There was no actual connection between the formal 
> specification in SPECIAL and the Modula code.
> 
> Some of the critical user-space code for a trusted downgrade program, to 
> bridge data from higher levels of classification to lower, was written 
> in Gypsy. I visited UT Austin and Dr Good(?)'s team to learn it, IIRC. 
> Gypsy was considered better in that the specification was tied to the 
> executable through the pre/post conditions - and the better support for 
> semi-automated theorem proving.

When I was transitioning from being a rock n' roller to computer science 
student, I took my first undergraduate languages course from Don.

https://www.dignitymemorial.com/obituaries/austin-tx/donald-good-8209907

Charlie

-- 
voice: +1.512.784.7526       e-mail: sauer at technologists.com
fax: +1.512.346.5240         Web: https://technologists.com/sauer/
Facebook/Google/LinkedIn/Twitter: CharlesHSauer


More information about the TUHS mailing list