VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic
164,14 €
Our goal was to produce a "warts-and-all" verification of a real language. With very few exceptions, we constrained ourselves to use the se mantic specification as published. The verification was intended to be rigorous, but.
Jetzt bei Ebay:
