User talk:GeorgesMariano

From LiteratePrograms
Jump to: navigation, search

[edit] Welcome

Hi Georges, welcome to LiteratePrograms. I like your concept of literate formal specifications, although I'd like to hear more about your thoughts on this. On a related note I was thinking at some point of adding some articles written in ACL2 giving implementations accompanied by formal proofs of correctness of some simple algorithms. Thanks for your contributions. Deco 13:51, 20 June 2006 (PDT)

hijacker
hijacker
hijacker
hijacker