Re^2: Term rewriting and denotation

Article View: comp.lang.functional

Article #313

Back to comp.lang.functional Previous Next

#313

From: "Steve" Stevenson
Date: Fri, 15 Jun 1990 12:24

14 lines
1020 bytes

yodaiken@freal.cs.umass.edu (victor yodaiken) writes:

>t arguing that one can dispense with all but p.r. mathematics. I'm
>questioning the need for anything beyond p.r. functions in 
>a *programming language*.

If it's a while loop, then it's not p.r. Look for one program with a while
loop which cannot be a simple for loop.

-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906

Technical Details

Message-ID: <9363@hubcap.clemson.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!samsung!emory!hubcap!steve

References: <22132@megaron.cs.arizona.edu> <42209@cornell.UUCP> <15639@dime.cs.umass.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!samsung!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.lang.functional
Subject: Re^2: Term rewriting and denotation
Message-ID: <9363@hubcap.clemson.edu>
Date: 15 Jun 90 12:24:05 GMT
References: <22132@megaron.cs.arizona.edu> <42209@cornell.UUCP> <15639@dime.cs.umass.edu>
Organization: Clemson University, Clemson, SC
Lines: 14

Reply to Parent Message