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