home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / doc / techrepo / 149 < prev    next >
Encoding:
Internet Message Format  |  1992-09-03  |  4.9 KB
  1. Path: sparky!uunet!cs.utexas.edu!sun-barr!ames!aplvax!ames!agate!darkstar.UCSC.EDU!golding
  2. Newsgroups: comp.doc.techreports
  3. Subject: Tech reports, RWTH Aachen
  4. Message-ID: <2731471@aplvax.msfc.nasa.gov>
  5. From: ghogen@zeus.informatik.rwth-aachen.de (Guido Hogen)
  6. Date: Thu, 3 Sep 92 09:10:33 +0200
  7. Organization: University of California, Santa Cruz
  8. Approved: compdoc-techreports@ftp.cse.ucsc.edu
  9. Lines: 97
  10.  
  11.                      RWTH Aachen 
  12.             (Aachen University of Technology) 
  13.                        Germany
  14.             Department of Computer Science
  15. Message-ID: <18668lINN8j3@darkstar.UCSC.EDU>
  16. NNTP-Posting-Host: oak.ucsc.edu
  17. Originator: golding@oak
  18.  
  19.              
  20. Anonymous ftp address: ftp.informatik.rwth-aachen.de  (137.226.112.31) 
  21. Directory: /pub/reports
  22. Format: Compressed PostScript File
  23.  
  24. ****************************************************************************
  25. | If you are interested in receiving announcements of new reports (once or |
  26. | twice a month), please write to                                          |
  27. |            tr-announce-request@informatik.rwth-aachen.de                 |
  28. | with your e-mail address in the subject line.                            |
  29. ****************************************************************************
  30.  
  31.             Aachener Informatik-Berichte
  32.             ----------------------------
  33.  
  34. **************** Now available **********************
  35.  
  36. Filename: 92-20.ps.Z
  37.  
  38. TITLE    = Implementing Disequality in a Lazy Functional Logic Language
  39.  
  40. NUMBER   = 92-20
  41. AUTHORS  = H. Kuchen, F.J. Lopez Fraguas, J.J. Moreno Navarro, M. Rodrigues 
  42.            Artalejo
  43. PAGES    = 28
  44. ABSTRACT = In this paper,we investigate an implementation of a lazy functional
  45.            logic language (in particular the language BABEL) which uses 
  46.            disequality constraints for solving equations and building answers. 
  47.            We specify a new operational semantics which combines lazy narrowing 
  48.            with disequality constraints and we define an abstract machine 
  49.            tailored to the execution of BABEL programs according to this 
  50.            semantics. The machine is designed as a quite natural extension of a 
  51.            lazy graph narrowing machine. Disjunctions of disequalities are 
  52.            handled using the backtracking mechanism. 
  53.  
  54. --------------------------------------------------------------------------------
  55.  
  56. Filename: 92-21.ps.Z
  57.  
  58. TITLE    = Result Directed Computing in a Functional Logic Language
  59.  
  60. NUMBER   = 92-21
  61. AUTHORS  = H. Kuchen, F.J. Lopez Fraguas
  62. PAGES    = 12
  63. ABSTRACT = In a functional logic language, especially in a constraint functional
  64.            logic language, often the topmost constructor is known which an 
  65.            expression should be evaluated to. E.g.~in a guarded expression 
  66.            $b \rightarrow e$, $b$ should only be evaluated to {\it true}. 
  67.            Evaluating $b$ to {\it false} would only waste resources and risk to 
  68.            run into an infinite computation. Hence, some kind of result directed
  69.            computation can be used to reduce the search space by cutting 
  70.            uninteresting computations. One possibility to achieve this result 
  71.            direction is to integrate it into the abstract machine which is the 
  72.            basis for the runtime system. Here, we show how to achieve result 
  73.            directed computation by means of a program transformation. A runtime 
  74.            system without special facilities for result directed computing can
  75.            be used to run the transformed programs. Thus, runtime overhead for
  76.            result directed computing is avoided. 
  77.  
  78. --------------------------------------------------------------------------------
  79.  
  80. Filename: 92-22.ps.Z
  81.  
  82. TITLE    = Independent AND-Parallel Narrowing
  83.  
  84. NUMBER   = 92-22
  85. AUTHORS  = H. Kuchen, J.J. Moreno Navarro, M.V. Hermenegildo
  86. PAGES    = 12
  87. ABSTRACT = We present a parallel graph narrowing machine, which is used to
  88.            implement a functional logic language on a shared memory
  89.            multiprocessor.  It is an extension of an abstract machine for a
  90.            purely functional language.  The result is a programmed graph
  91.            reduction machine which integrates the mechanisms of unification,
  92.            backtracking, and independent and-parallelism.  In the machine, 
  93.            the subexpressions of an expression can run in parallel.
  94.            In the case of backtracking, the structure of an expression is
  95.            used to avoid the reevaluation of subexpressions as far as possible.
  96.            Deterministic computations are detected. Their results are maintained
  97.            and need not be reevaluated after backtracking.
  98.            
  99. ----------------------------------
  100. Guido Hogen
  101. tr-admin@informatik.rwth-aachen.de
  102. ----------------------------------
  103. ===========================================================================
  104. Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
  105.         compdoc-techreports-request@ftp.cse.ucsc.edu
  106.  
  107.  
  108.