Cambridge University Press / MIT Press / Hangman Blocks UFO Worm / /
Currency
USD / / /
Facility
USA Northeastern University / Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University / Institute of Computer Science / University of Kiel / /
IndustryTerm
model checking algorithm / car es / motivational tool / micro-processor / software applications / software engineering capstone courses / verification systems / Web Conference / point processors / hardware processors / automated testing tools / online documentation / interactive web programs / food / /
Movie
TRON / /
Organization
Cambridge University / USA Northeastern University Boston / University of Kiel / National Science Foundation / Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Boston / MIT / Yale / Institute of Computer Science and Applied Mathematics / /
Person
Matthias Felleisen / Dale Vaillaincourt / Pete Manolios / Rex Page / Bikes Lines / Larry Wos / /
Position
driver / Editor / simple text editor / Graphics Systems General / text editor / small video games representative / player / player to control a bike / programmer / /
ProgrammingLanguage
Algol 60 / Java / Common Lisp / /
ProvinceOrState
M. B. / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
Functional Programming / virtual machine / floating point processors / Java / model checking algorithm / API / micro-processor / simulation / animation / operating systems / hardware processors / GUI / /
Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University