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

https://hal.archives-ouvertes.fr/hal-00498502
Contributor : Christian Queinnec <>
Submitted on : Wednesday, July 7, 2010 - 4:02:39 PM
Last modification on : Thursday, March 21, 2019 - 12:59:25 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

239