Logic Program Transformation Sources

Article View: comp.lang.prolog

Article #1993

#1993

From: smith901
Date: Tue, 02 Apr 1991 22:08

22 lines
1065 bytes


I am trying to get a copy of two  references having to do with
logic program transformation:


Clark, K.L.  (1977)  "Synthesis and verification of logic programs."
	Research Report, Dept. of Computing and Control.  Imperial
	College, London. 


Eriksson, A. and A.L. Johansson. (1981) "NATDED a Derivation Editor." 
	UPMAIL, Computing Science Department, Uppsala University. 


Any help you can provide would be greatly appreciated.

Thank You,

Trevor Smith
University of Idaho
smith901@snake.cs.uidaho.edu

Technical Details

Message-ID: <1991Apr02.220839.6864@groucho>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!uidaho!ted.cs.uidaho.edu!smith901

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!uidaho!ted.cs.uidaho.edu!smith901
From: smith901@ted.cs.uidaho.edu
Newsgroups: comp.lang.prolog
Subject: Logic Program Transformation Sources
Keywords: Transformation
Message-ID: <1991Apr02.220839.6864@groucho>
Date: 2 Apr 91 22:08:39 GMT
Sender: smith901@ted.cs.uidaho.edu
Followup-To: smith901@ted.cs.uidaho.edu
Distribution: comp.lang.prolog
Organization: University of Idaho
Lines: 22
Nntp-Posting-Host: ted.cs.uidaho.edu