Re: Theoretical limitations of algebraic specifications?

Article View: comp.specification

Article #478

Back to comp.specification Previous Next

#478

From: Steven Kearns
Date: Tue, 05 Jan 1993 06:21

21 lines
1174 bytes

> > 
> > It has been shown that Majester's stack (sp?), which is a stack with 
> > a pointer to an arbitrary element (if memory serves), requires an infinite
> > set of algebraic axioms to specify.  
> 
..... 
> Could you give us a short example, say of the extended stack you mention
> above?
> Antediluvian newsbreak:           |  J. E. Fritz    (fritz@ruby.vcu.edu)
>   Scientists discover 4th prime;  |  VCU and I don't talk _to_ each other,
>   proof at eleven.                |  let alone for each other.

See ACM Sigplan Notices Kapur 79.
I assume the 79 is 1979.

-steve

********************************************************
* Steven Kearns            ....uunet!softrue!kearns    *
* Software Truth           softrue!kearns@uunet.uu.net *
********************************************************

Technical Details

Message-ID: <37.UUL1.3#8618@softrue.UUCP>

Path: arc1-ca.pugleaf.net!sparky!uunet!softrue!kearns

References: <1993Jan3.125452.243@gems.vcu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!softrue!kearns
From: kearns@softrue.UUCP (Steven Kearns)
Newsgroups: comp.specification
Subject: Re: Theoretical limitations of algebraic specifications?
Message-ID: <37.UUL1.3#8618@softrue.UUCP>
Date: Mon, 4 Jan 93 23:21:52 PDT
References: <1993Jan3.125452.243@gems.vcu.edu>
Organization: Software Truth
Lines: 22

Reply to Parent Message