[ home | bbs | files | messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.compilers      Compiler construction, theory, etc. (Mod      2,753 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 2,286 of 2,753   
   seimarao@gmail.com to All   
   Re: specifying semantics, was Formatting   
   24 Jun 14 02:19:05   
   
   Is there something for semantics as BNF is for grammars ?   
      
   What do the books on type systems, lambda calculus, etc, teach and   
   where are their topics applied ?   
      
   Sincerely,   
   Seima Rao.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca