home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / software / 3301 < prev    next >
Encoding:
Text File  |  1992-08-25  |  2.9 KB  |  78 lines
  1. Newsgroups: comp.software-eng
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!thunder.mcrcim.mcgill.edu!govindr
  3. From: govindr@pike.ee.mcgill.ca (Govind Ramaswamy)
  4. Subject: COMPSAC-92 - anybody attending ??
  5. Message-ID: <1992Aug25.221633.28098@thunder.mcrcim.mcgill.edu>
  6. Sender: news@thunder.mcrcim.mcgill.edu
  7. Nntp-Posting-Host: sybok.ee.mcgill.ca
  8. Organization: McGill University - VLSI Laboratory, Montreal, CANADA.
  9. Date: Tue, 25 Aug 92 22:16:33 GMT
  10. Lines: 67
  11.  
  12. Greetings!
  13.  
  14. I would like to know if some kind soul in this newsgroup will be 
  15. attending the COMPSAC-92 (Computer Software and Applications 
  16. Conference) to be held in Chicago, and would like to present my 
  17. paper (details and abstract given below) in the conference. I have 
  18. originally planned to attend the conference and paid the registration
  19. fee.  However due to other commitments, I may not be able to 
  20. attend the conference. If someone is willing to present the 
  21. paper, I can send the following well-in-advance.
  22.  
  23.     - slides
  24.     - notes for the slides
  25.     - a copy of the full paper
  26.     - a copy of the paper as is to appear in the proceedings
  27.  
  28. If anyone is interested, please contact me by e-mail (address given
  29. below) as I do not read this newsgroup regularly.
  30.  
  31. Any help or pointers in this regard would also be appreciated.
  32.  
  33. Thanks in advance
  34.  
  35. Govind
  36.  
  37. =-----------------------------------------------------------=
  38. Govindarajan Ramaswamy              Ph: (514) 398 8169 (O)
  39. VLSI Design Laboratory                  (514) 287 8964 (H)
  40. Electrical Engineering                 
  41. McGill University                     Fax: (514) 398 4470
  42. 3480 University Street                  
  43. MONTREAL, H3A 2A7, Canada    govindr@pike.ee.mcgill.ca
  44. =-----------------------------------------------------------=
  45.  
  46.  
  47. ps: DETAILS OF THE PAPER:
  48.  
  49.  
  50.  
  51.     Software Fault-Tolerance in Functional Programming 
  52.  
  53.              R. Govindarajan
  54.         Dept. of Electrical Engineering 
  55.             McGill University 
  56.            Montreal, H3A 2A7, Canada
  57.  
  58.  
  59.                Abstract
  60.  
  61. Handling exceptions in functional languages has always been a problem, 
  62. due to the inherent conflict between the control flow oriented approach 
  63. of exception handlers and the functional style of evaluation. In this 
  64. paper, we propose a new approach that discards the conventional view 
  65. of treating exceptions as a means of effecting control transfer.  
  66. Instead, exceptions are used to change the state of an object:  A
  67. {\it Terminate} exception is viewed as `shielding' the input object.  
  68. On the other hand, a {\it Resume} exception designates the input 
  69. object as `curable' and requires the immediate application of a 
  70. handler function.  This approach enables the description of the 
  71. semantics of exception raising functions (i) without associating 
  72. any implementation restriction and (ii) without the loss of referential 
  73. transparency and commutativity of functions.
  74.  
  75.  
  76.  
  77. To appear in the session on Fault-Tolerance Concepts, Sept.24, 2.00 - 3.30pm
  78.