Re: Difference between Spec and Code? Who cares?

Article View: comp.specification

Article #214

Back to comp.specification Previous Next

#214

From: Joshua D. Guttman
Date: Thu, 25 Oct 1990 21:53

5 lines
708 bytes

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

Technical Details

Message-ID: <124480@linus.mitre.org>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!decwrl!ucbvax!agate!linus!linus!guttman

References: <21500@dime.cs.umass.edu> <5321@uqcspe.cs.uq.oz.au> <BLK.90Oct25142230@vanity.mitre.org>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message