Article View: comp.specification
Article #384Re: Theoretical limitations of algebraic specifications?
From: Steven Kearns
Date: Thu, 31 Dec 1992 05:41
Date: Thu, 31 Dec 1992 05:41
23 lines
1347 bytes
1347 bytes
> I have been struggling with an algebraic spec for a couple of days and > ... > More specifically, I am trying to specify a tree that has the notion of > a "current node", and operations to change the current node. The .... > Jeff Offutt > Department of ISSE, George Mason University, Fairfax VA > email: ofut@gmuvax2.gmu.edu > phone: (703) 993-1654 (messages: 993-1640) 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. The practical point is that algebraic specs are very poor at describing objects with state. If you want to describe such an object, use a model based spec language (such as Z). -steve ******************************************************** * Steven Kearns ....uunet!softrue!kearns * * Software Truth softrue!kearns@uunet.uu.net * ********************************************************
Technical Details
Message-ID:
<36.UUL1.3#8618@softrue.UUCP>Path:
arc1-ca.pugleaf.net!sparky!uunet!softrue!kearnsReferences:
<1992Dec31.000439.8884@gmuvax2.gmu.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: <36.UUL1.3#8618@softrue.UUCP> Date: Wed, 30 Dec 92 22:41:57 PDT References: <1992Dec31.000439.8884@gmuvax2.gmu.edu> Organization: Software Truth Lines: 24