home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / ada / 3858 next >
Encoding:
Internet Message Format  |  1993-01-04  |  1.7 KB
  1. Path: sparky!uunet!spool.mu.edu!agate!ucbvax!ROO.FIT.EDU!SAHARBAUGH
  2. From: SAHARBAUGH@ROO.FIT.EDU
  3. Newsgroups: comp.lang.ada
  4. Subject: An Ada Program Does What It Says?
  5. Message-ID: <9301031530.AA17787@ajpo.sei.cmu.edu>
  6. Date: 3 Jan 93 14:15:00 GMT
  7. Sender: daemon@ucbvax.BERKELEY.EDU
  8. Distribution: world
  9. Organization: The Internet
  10. Lines: 42
  11.  
  12. First lets review:
  13.  
  14. Pascal wrote, in part:  "An Ada program does what it says."
  15.  
  16. I raised a warning that this is not true and cited one example 
  17. from Bryan & Mendal's book.  
  18.  
  19. Alex Blakemore pointed out that a program with concurrency 
  20. cannot be counted on to execute in a certain order (or words to 
  21. that effect).
  22.  
  23. Mike Feldman said that I choose a weak example from the book 
  24. to make my point.
  25.  
  26. That brings us up to date.
  27.  
  28. I searched B&M's book and noted each example program whose 
  29. output is "indeterminate" or "implementation dependent".  I 
  30. noted the page number on which the answer appears.  
  31.  
  32. volume 1: 26 80 111 115 118 119 121 122 125 128 242 257 
  33. 270 275 335 340  volume 2: 32 37 47 78 81 104 106 107 151 
  34. 152 178 183 238 240 246 274 276 291 293 308 309
  35.  
  36. I suggest vol 1 pg 335 for first reading.  It is language 
  37. lawyer level.
  38.  
  39. My warning stands.  Ada code looks deceptively readable.  The 
  40. reader must understand the language translator and the 
  41. runtime environment to be able to correctly read an Ada 
  42. program.
  43.  
  44. I recall that the ARTEWG produced an "Ada catalog of runtime 
  45. dependencies".  I suggest contacting Mike Kamrad for a copy.
  46.  
  47. I am really into an area addressed by people looking at 
  48. "portable" "reusable" Ada code.  Perhaps they have developed 
  49. proven techniques for developing translator and runtime 
  50. environment independent Ada code.  
  51.  
  52. sam harbaugh
  53. ---
  54.