[TYPES] Terminology in operational semantics

David Hopwood david.nospam.hopwood at blueyonder.co.uk
Thu Feb 17 19:03:56 EST 2005


sanjiva at cse.iitd.ernet.in wrote:
> You can find on my home page http://www.cse.iit.ac.in/~sanjiva
> a pointer to an introductory chapter on Operational semantics,  which
> appears in a CRC Press Handbook for Compiler Design.

The above URL appears to be broken, but I found it at
<http://www.cse.iitd.ernet.in/~sanjiva/>.

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>



More information about the Types-list mailing list