home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / scheme / 2854 < prev    next >
Encoding:
Internet Message Format  |  1993-01-03  |  1.2 KB
  1. Xref: sparky comp.lang.scheme:2854 comp.lang.c:19150
  2. Path: sparky!uunet!spool.mu.edu!yale.edu!yale!mintaka.lcs.mit.edu!ai-lab!zurich.ai.mit.edu!gjr
  3. From: gjr@zurich.ai.mit.edu (Guillermo J. Rozas)
  4. Newsgroups: comp.lang.scheme,comp.lang.c
  5. Subject: Re: applying or
  6. Date: 3 Jan 93 08:25:03
  7. Organization: M.I.T. Artificial Intelligence Lab.
  8. Lines: 12
  9. Message-ID: <GJR.93Jan3082503@chamarti.ai.mit.edu>
  10. References: <1993Jan1.184655.7023@viewlogic.com> <GJR.93Jan2080947@chamarti.ai.mit.edu>
  11. Reply-To: gjr@zurich.ai.mit.edu
  12. NNTP-Posting-Host: chamartin.ai.mit.edu
  13. In-reply-to: gjr@zurich.ai.mit.edu's message of 2 Jan 93 08:09:47
  14.  
  15. In article <GJR.93Jan2080947@chamarti.ai.mit.edu> gjr@zurich.ai.mit.edu (Guillermo J. Rozas) writes:
  16.  
  17. |   The issue here is whether the order of execution of expressions can be
  18. |   changed by the compiler with respect to the one specified by the
  19. |   semantics.  In general compilers are allowed to do this if they can
  20. |   prove that the effect is the same, in other words, that the user can't
  21. |   tell what order things were done in.
  22.  
  23. I meant to say that the compiler can reorder as long as the user
  24. cannot tell from the behavior of the resulting code that the
  25. expressions were not done in the order that the semantics specifies.
  26.  
  27.