A simplified multi-tiers semantics for Hop - Archive ouverte HAL
Article Dans Une Revue Higher-Order and Symbolic Computation Année : 2010

A simplified multi-tiers semantics for Hop

Manuel Serrano

Résumé

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.
Fichier non déposé

Dates et versions

hal-00498502 , version 1 (07-07-2010)

Identifiants

Citer

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⟩
135 Consultations
0 Téléchargements

Altmetric

Partager

More