home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / or / general / 480 < prev    next >
Encoding:
Internet Message Format  |  1992-07-27  |  1.7 KB
  1. Xref: sparky or.general:480 pdx.general:957 ogi.general:24
  2. Path: sparky!uunet!ogicse!ogicse.cse.ogi.edu!kelly
  3. From: kelly@ogicse.cse.ogi.edu (Kelly Atkinson)
  4. Newsgroups: or.general,pdx.general,ogi.general
  5. Subject: Computer Science Colloquium
  6. Message-ID: <40575@ogicse.ogi.edu>
  7. Date: 27 Jul 92 19:22:21 GMT
  8. Article-I.D.: ogicse.40575
  9. Sender: kelly@ogicse.ogi.edu
  10. Distribution: or
  11. Organization: Oregon Graduate Institute (formerly OGC), Beaverton, OR
  12. Lines: 33
  13.  
  14.  
  15. Oregon Graduate Institute
  16. Department of Computer Science and Engineering
  17.  
  18. COLLOQUIUM SERIES
  19.  
  20.  
  21. ------------------------------------------------------------------------
  22. Pattern matching revisited
  23. Robin Cockett, University of Calgary
  24.  
  25. Tuesday, August 4, 1992  3:30 p.m.
  26. Room 102, CSE Building
  27.  
  28. I shall present a new approach to translating programs defined using 
  29. pattern matching into sequential form.  The technique is based on the 
  30. theory of decision tree reduction.
  31.  
  32. Program definitions using pattern matching are parallel specifications and 
  33. do not determine a sequential evaluation.  A problem arises, therefore, in 
  34. attemping to preserve as far as possible the intended parallel meaning.  
  35. This is particularly irksome when the possibility of non-termination is 
  36. present as a sequential realization may force the evaluation of a term 
  37. whose value is not critical to the parallel evaluation.
  38.  
  39. It is known that some definitions can be faithfully sequentialized and the 
  40. translation of these has been well-documented.  The technique I shall 
  41. discuss works uniformly over all definitions and produces optimized code 
  42. which includes the already noted optimization for the patterns which can 
  43. be sequentialized.
  44.  
  45. This is joint work with Todd Simpson at AGT Limited, Calgary.
  46.  
  47.