Towards Reasoning for Web Applications: An Operational Semantics for Hop G´erard Boudol Zhengqin Luo

First Page		Document Content
Date: 2010-06-01 09:23:25		Towards Reasoning for Web Applications: An Operational Semantics for Hop G´erard Boudol Zhengqin Luo Add to Reading List Source URL: www-sop.inria.fr Download Document from Source Website File Size: 288,93 KB Share Document on Facebook