[no subject]

So, can anyone suggest a good way to specify that a compiler
should commpute and use any implementation dependant optimizations
properties that it knows about (such as those properties listed by MOON),
preferably a mechanism with sufficient flexibility to offer both
corse and fine grained control?
   
   One more interesting question related to what is STATELESS arises out
   of noting the distinction drawn between Symbolic's declarations

[Translation: One more obscure fact that makes these declarations
harder to use correctly. :-) --CRE]

   (LT:SIDE-EFFECTS LT:REDUCIBLE) and (LT:SIDE-EFFECTS LT:SIMPLE REDUCIBLE).
   Is CAR STATELESS?  I say yes, even though the Symbolics terminology
   seems to imply that it is sensitive to side-effects.  In the example:

   (*) SSC -- acronym for "Sufficiently Smart Compiler"