From: costello@mitre.org   
      
   > getting the feeling that the start of the art   
   > in executable semantics is such that we   
   > could start seeing languages written as   
   > executable semantics in maybe 10-20 years   
   > or so.   
      
   What are "executable semantics"?   
      
   If I were to create a document containing executable semantics, what would I   
   do with it? How would it differ from a document containing, say, Java?   
      
   Fascinating discussion - thanks!   
      
   /Roger   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)