Filter
Sökt på: Sökresultat
Filter
1 träff
VLISP A Verified Implementation of Scheme
E-bok,
2012,
Engelska,
ISBN 9781461523390
The VLISP project showed how to produce a comprehensively verified implemen- tation for a programming language, namely Scheme [4, 15). Some of the major elements in this …