R. L. Software / Checkpoint / MIT Press / ACM Press / Olin / /
Country
United States / / /
Event
Product Issues / Reorganization / /
Facility
Northeastern University’s College of Computer Science / University of Oklahoma / College of Computer Science Northeastern University Boston / Next Checkpoint / Previous Checkpoint / Abstract Northeastern University’s College of Computer Science / /
IndustryTerm
appropriate technology / software projects / applicative algorithm / lightweight tool / formal reasoning tools / final product / staff solution / real software / binary search / intermediate products / little computing material / proof search features / computing / binary search tree / a.k.a. car / binary search tree insertion procedure / correct student solutions / /
Organization
University of Oklahoma / National Science Foundation / MIT / Northeastern University’s College of Computer Science / College of Computer Science Northeastern University Boston / /
Person
Pete Manolios / Rex Page / Functional / Matthias Felleisen / Felix Klock / Kathi Fisler / Sam Tobin-Hochstadt / Dale Vaillancourt / Peter Dillinger / /
Position
Information Science Education General / novice programmer / senior author / Scheme-oriented program editor / programmer / /
ACL2 for Freshmen: First Experiences Carl Eastlund [removed] Dale Vaillancourt [removed]