First Page | Meta Content | |
---|---|---|
Document Date: 2006-12-12 19:54:03Open Document File Size: 756,12 KBShare Result on FacebookCityCambridge / /CompanySymbolics / Mostly Functional Languages Tom Knight Symbolics Inc. / M.I.T. Press / /Currencycent / /EventReorganization / /FacilityTyne Computing Laboratory / Store Ptedcbon Responseto / The University of Newcastle / The M.I.T. Artificial Intelligence Laboratory / /IndustryTermpurpose hardware / difficult multi-tasking communications problems / parallel hardware / software implementations / side effect detection hardware / suitable compiler technology / particular processor / computing / snoopy cache coherency protocol / parallel processors / Verification software finds such programs / /OrganizationMIT Department of Electrical En$ineering / M.I.T / Tyne Computing Laboratory / University of Newcastle / Computer Science Department / Association for Computing Machinery / /PersonGerald Jay / Scott Wills / Todd Matson / David Moon / David Chapman / Ramin Zabih / David Gifford / Daniel Weinreb / Bruce Edwards / Alan Bawden / Morris Katz / /Positionprogrammer / /ProgrammingLanguageMultiLisp / Fortran / Lisp / C / /Technologyfunctional programming / same algorithms / snoopy cache coherency protocol / particular processor / artificial intelligence / Re111 duce Processor / Cache Memory / simulation / operating system / suitable compiler technology / sequential consistency / shared memory / /SocialTag |