Path: utzoo!attcan!uunet!mcvax!hp4nl!philmds!prle!prles2!prismaa!america From: america@prismaa.prl.philips.nl (Pierre America) Newsgroups: comp.lang.misc,eunet.esprit Subject: Re: POOL-T references Summary: information available Keywords: parellellism object-oriented Message-ID: <207@prles2.UUCP> Date: 11 Nov 88 12:28:33 GMT References: <183@my6.luth.se> Sender: nobody@prles2.UUCP Reply-To: america@prismaa.prl.philips.nl (Pierre America) Organization: Philips Research Labs Eindhoven Lines: 26 POOL-T is a parallel object-oriented language developed at our lab. In the mean time is has been replaced by POOL2, which is based on the same principles but provides some more convenient notation to the programmer ("syntactic sugar"). POOL2 is intended to run on DOOM (decentralized object-oriented machine). A 12-processor prototype of this machine has been running for several months now, a 100-node prototype is under construction. Language definitions for POOL-T and POOL2 are freely available from us. For POOL-T, an interpreter/simulator running under Unix (on sequential machines) is also available; for POOL2 these will become publicly available soon. POOL is also the subject of studies in formal semantics and proof theory. A paper about its operational semantics appeared in POPL '86. An article on its denotational semantics will appear in Information and Computation. For more information, you can send your (ordinary mail) address to me, indicating your interest. Pierre America Philips Research Labs P.O. Box 80.000 5600 JA Eindhoven The Netherlands e-mail: america@prismaa.prl.philips.nl