A simplified multi-tiers semantics for Hop

Manuel Serrano 1 Christian Queinnec 2
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
2 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : This paper presents a semantics, in denotational style, for a simplified version of the Hop Web programming language. This semantics focuses on the organization of programs. It shows how programs initially run on servers elaborate expressions to be evaluated by clients i.e. JavaScript interpreters within web browsers. Conversely, it shows how client-side expressions may interact with servers. The presented semantics also formalizes how server-side and client-side expressions share variables and values.
Document type :
Journal articles
Liste complète des métadonnées

Contributor : Christian Queinnec <>
Submitted on : Wednesday, July 7, 2010 - 4:02:39 PM
Last modification on : Thursday, March 21, 2019 - 12:59:25 PM



Manuel Serrano, Christian Queinnec. A simplified multi-tiers semantics for Hop. Higher Order and Symbolic Computation, 2010, pp.1-23. ⟨10.1007/s10990-010-9061-9⟩. ⟨hal-00498502⟩



Record views