MIT Press / LSI Corp. / Actel / Computational Logic Inc. / /
Country
United States / / /
Facility
Hardware Methods Laboratory Computer Science Department Indiana University / University Logic Engine / Indiana University / University Logic Group Preprint Series / /
NSA / National Science Foundation / Department of Computer Science / MIT / DARPA / Department of Philosophy / National Aeronautics and Space Administration / Indiana University / Computer Science Department / /
Person
Mitchell Wand / Gerard Allwein / Bhaskar Bose / Zheng Zhu / Christopher T. Haynes / K. Jon Barwise / Warren Hunt / Esen Tuna / Steven D. Johnson / Shyam Pullela / Kamlesh Rath / /
Position
manager / the allocator / manager / several stages / editor / storage manager / Principal Investigator / stop-and-copy garbage collector / derived heap manager / heap manager / stop-and-copy garbage collector / which was fully derived using DDD / Assistant / arbiter / Winkel-Prosser blackjack dealer / /
Final Report for NSF Grant MIP89-21842: Algebra for Digital Design Derivation 1 June 1990 – 30 November 1992 Steven D. Johnson, Principal Investigator ([removed])