Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!cmcl2!seismo!mcvax!euroies!rreilly
From: rreilly@euroies.UUCP (Dr Ronan Reilly)
Newsgroups: net.lang.lisp,net.ai
Subject: Formal definition of Lisp systems
Message-ID: <313@euroies.UUCP>
Date: Thu, 5-Jun-86 16:03:44 EDT
Article-I.D.: euroies.313
Posted: Thu Jun  5 16:03:44 1986
Date-Received: Sun, 1-Jun-86 07:26:34 EDT
Organization: University College Dublin
Lines: 7
Xref: linus net.lang.lisp:762 net.ai:3263

Does anyone have references to a system which could be used to 
formally define large Lisp program suites.  What I have in mind
is something akin to the dataflow system for procedural languages.

Thanks in advance,

Ronan