Ausgabe 1/2011
Inhalt (3 Artikel)
The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4
Michael J. C. Gordon, Matt Kaufmann, Sandip Ray
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling
Louise Abigail Dennis, Ian Green, Alan Smaill