From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e97505aab4e55e09
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-09-18 06:57:54 PST
Newsgroups: comp.lang.ada
Path: 
 bga.com!news.sprintlink.net!redstone.interpath.net!ddsw1!news.kei.com!MathWorks.Com!usenet.eel.ufl.edu!usenet.cis.ufl.edu!eng.ufl.edu!spool.mu.edu!agate!overload.lbl.gov!lll-winken.llnl.gov!uop!csus.edu!netcom.com!hbaker
From: hbaker@netcom.com (Henry G. Baker)
Subject: Re: Final CFP: State in Programming Languages
Message-ID: <hbakerCwA22r.3Lr@netcom.com>
Organization: nil
References: <REDDY.94Sep14233849@reddy.cs.uiuc.edu>
 <35a03g$amn@theopolis.orl.mmc.com>
Date: Sat, 17 Sep 1994 14:11:14 GMT
Date: 1994-09-17T14:11:14+00:00
List-Id: <comp.lang.ada>

In article <35a03g$amn@theopolis.orl.mmc.com> dennison@romulus23.DAB.GE.COM (Ted Dennison) writes:
>In article <REDDY.94Sep14233849@reddy.cs.uiuc.edu>, reddy@cs.uiuc.edu (Uday S. Reddy) writes:
>|> Programming languages have been state-based since their inception.
>|> After a period of relative unpopularity, when research focused on
>|> declarative languages, interest in the treatment of state has been
>|> renewed.  Research is increasingly devoted to finding a symbiotic
>|> relationship between the semantic foundations of declarative languages
>|> and the pragmatic handling of state in more conventional languages.
>|> This workshop brings together researchers from various areas,
>|> interested in the common issues of state manipulation in high-level
>|> programming languages.
>
>I have been out of college for over 5 years now, so my edu-computereese
>is a little rusty. Could someone explain to me the concept of "state" 
>as was used in this post?

Just replace 'state-based' with 'non-functional' in the first sentence.  :-)