Re: Term rewriting and denotation

Article View: comp.lang.functional

Article #308

Back to comp.lang.functional Previous Next

#308

From: David Gudeman
Date: Thu, 14 Jun 1990 19:31

12 lines
883 bytes

In article  <15548@dime.cs.umass.edu> yodaiken@freal.cs.umass.edu (victor yodaiken) writes:
>
>This is a common argument, but I'd like to see something a little more
>concrete. What's an example of a function that is of real interest
>to a programmer, and that cannot be  expressed cleanly as a p.r. function.

How about eval(P) to execute a program P in some more powerful language?
-- 
					David Gudeman
Department of Computer Science
The University of Arizona        gudeman@cs.arizona.edu
Tucson, AZ 85721                 noao!arizona!gudeman

Technical Details

Message-ID: <22132@megaron.cs.arizona.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!asuvax!noao!arizona!gudeman

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!asuvax!noao!arizona!gudeman
From: gudeman@cs.arizona.edu (David Gudeman)
Newsgroups: comp.lang.functional
Subject: Re: Term rewriting and denotation
Message-ID: <22132@megaron.cs.arizona.edu>
Date: 14 Jun 90 19:31:34 GMT
Organization: U of Arizona CS Dept, Tucson
Lines: 12