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.
Type de document :
Article dans une revue
Higher Order and Symbolic Computation, 2010, pp.1-23. 〈10.1007/s10990-010-9061-9〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00498502
Contributeur : Christian Queinnec <>
Soumis le : mercredi 7 juillet 2010 - 16:02:39
Dernière modification le : jeudi 22 novembre 2018 - 14:06:24

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

233