🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #5864

Re: POOL-T references

#5864
From: Pierre America
Date: Fri, 11 Nov 1988 12:28
26 lines
1651 bytes
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
Technical Details
Message-ID: <207@prles2.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!hp4nl!philmds!prle!prles2!prismaa!america
References: <183@my6.luth.se>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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