Formal definition of Lisp systems

Article View: net.lang.lisp

Article #580

#580

From: Dr Ronan Reilly
Date: Thu, 05 Jun 1986 20:03

7 lines
693 bytes

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

Technical Details

Message-ID: <313@euroies.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!seismo!mcvax!euroies!rreilly

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!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