Semantics and compilation of recursive sequential streams in 81/2 - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

Semantics and compilation of recursive sequential streams in 81/2

Résumé

Recursive definition of streams (infinite lists of values) have been proposed as a fundamental programming structure in various fields. A problem is to turn such expressive recursive definitions into an efficient imperative code for their evaluation. One of the main approach is to restrict the stream expressions to interpret them as a temporal sequence of values. Such sequential stream rely on a clock analysis to decide at what time a new stream value must be produced. In this paper we present a denotational semantics of recursively defined sequential streams. We show how an efficient implementation can be derived as guarded statements wrapped into a single imperative loop.
Fichier principal
Vignette du fichier
giavitto_plilp1997_semantics_and_compilation_o_recursive_sequential_streams_in_otte_e_mezzo.pdf (114.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04336888 , version 1 (11-12-2023)

Identifiants

Citer

Jean-Louis Giavitto, Dominique de Vito, Olivier Michel. Semantics and compilation of recursive sequential streams in 81/2. International Symposium on Programming Language Implementation and Logic Programming (PLILP 1997), Dec 1997, Southampton, France. pp.207-223, ⟨10.1007/BFb0033846⟩. ⟨hal-04336888⟩
6 Consultations
4 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More