Newsgroups: comp.lang.functional,comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!cs.utexas.edu!uunet!psinntp!scylla!polar
From: polar@oracorp.com (Polar Humenn)
Subject: Re: Two papers on declarative programming
Message-ID: <1994Sep22.095610.1361@oracorp.com>
Followup-To: comp.lang.functional,comp.lang.prolog
Organization: Odyssey Research Associates, Inc.
X-Newsreader: TIN [version 1.1 PL8]
References: <Cw8CM2.GCn@info.bris.ac.uk>
Date: Thu, 22 Sep 1994 09:56:10 GMT
Lines: 42
Xref: glinda.oz.cs.cmu.edu comp.lang.functional:5118 comp.lang.prolog:11304

I also can mention a couple of other papers that Damir Jamsek, and myself 
worked on concerning the design and implementation of declarative languages 
a while ago, and actually have a working implementation for:

Humenn, P, "Implementation of the Declarative Language D", CASE Center
  Technical Report No. 9025, Dec 90.

D is a declaritive lanaguage which incorporates the notion of lazy evaluation,
higher order functions, referential transparency, and first order predicate
Horn clause logic in a functional setting. D uses the Haskell programming
language as its model for the functional semantics, while combining it with
the Prolog programming language semantics.


Jamsek, D, "The WINTER Architecture: Support for a Purely Declarative
   Programming Language", CASE Center Technical Report, No 9007, May 90.

Combining functional and logic programming paradigms in a single environment
leads to a powerful and expressive programming language.  The WINTER abstract
machine provides an execution environment that efficiently realizes the goals
of such a programming system.  The WINTER abstract machine draws much of its
inspiration from currently popular abstract machines being developed for
either functional or logic programming.  IT is novel in its unification of 
architectures that initially seem to be addressing entirely different 
programming paradigms. This unification leasds to a common and consistent
treatment of both function and logic programming.


They can be retrieved from by writing the CASE Center, Rm 2-212 CST, 
Syracuse University, Syracuse NY. 13244-4100. (315)-443-1600

-Polar

==
Polar Humenn                   polar@oracorp.com
Odyssey Research Associates    polar@top.syr.edu
Ithaca, N.Y.
-- 
==
Polar Humenn                   polar@oracorp.com
Odyssey Research Associates
Ithaca, N.Y.
