Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!oliveb!intelca!mipos3!omepd!psu-cs!warren
From: warren@psu-cs.UUCP (Warren Harrison)
Newsgroups: comp.software-eng
Subject: PROLOG as a Specification Language
Message-ID: <1296@psu-cs.UUCP>
Date: 26 Nov 88 17:16:22 GMT
Organization: Dept. of Computer Science, Portland State University; Portland OR
Lines: 12


I'm currently looking at using a variant of PROLOG as a formal specification
language.  Could anyone out there supply some pointers to papers which deal
with the subject of PROLOG as a formal speciifcation language?  Many thanks.

Warren
-- 
-------------------------------------------------------------------------------
Warren Harrison                 CSNET: warren@pdx.edu
Department of Computer Science  UUCP:  {ucbvax,decvax}!tektronix!psu-cs!warren
Portland State University       Internet: warren%pdx.edu@relay.cs.net
Portland, OR 97207-0751