Reasoning about Web Applications: An Operational Semantics for Hop G´erard Boudol and Zhengqin Luo and Tamara Rezk and Manuel Serrano INRIA Sophia Antipolis-Mediterran´ee We propose a small-step operational semantics

First Page		Document Content
Date: 2012-04-18 09:24:18		Reasoning about Web Applications: An Operational Semantics for Hop G´erard Boudol and Zhengqin Luo and Tamara Rezk and Manuel Serrano INRIA Sophia Antipolis-Mediterran´ee We propose a small-step operational semantics Add to Reading List Source URL: www-sop.inria.fr Download Document from Source Website File Size: 675,22 KB Share Document on Facebook