Path: utzoo!attcan!uunet!decwrl!ucbvax!agate!linus!linus!guttman
From: guttman@linus.mitre.org (Joshua D. Guttman)
Newsgroups: comp.specification
Subject: Re: Difference between Spec and Code?  Who cares?
Summary: what about quantification etc?
Message-ID: <124480@linus.mitre.org>
Date: 25 Oct 90 21:53:54 GMT
References: <21500@dime.cs.umass.edu> <5321@uqcspe.cs.uq.oz.au> <BLK.90Oct25142230@vanity.mitre.org>
Organization: The MITRE Corporation, Bedford MA
Lines: 5

Well of course one difference is that a specification language may (in some
cases) contain expressions which simply *cannot* be compiled.  For instance,
quantification over infinite or otherwise disorderly domains.

	Josh