Publications

ACL2 for Freshmen: First Experiences, Carl Eastlund, Dale Vaillancourt, and Matthias Felleisen. ACL2 Workshop 2007, Austin, TX. Paper (PDF) / Slides (PDF)

Sequence Traces for Object-Oriented Executions, Carl Eastlund and Matthias Felleisen. Technical report NU-CCIS-06-11, October 2006. PDF