Functional Computation as Concurrent Computation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

Functional Computation as Concurrent Computation

Joachim Niehren

Résumé

We investigate functional computation as a special form of concurrent computation. As formal basis, we use a uniformly confluent core of the pi-calculus, which is also contained in models of higher-order concurrent constraint programming. We embed the call-by-need and the call-by-value lambda-calculus into the pi-calculus. We prove that call-by-need complexity is dominated by call-by-value complexity. In contrast to the recently proposed call-by-need lambda-calculus, our concurrent call-by-need model incorporats mutual recursion and can be extended to cyclic data structures by means of constraints.
Fichier principal
Vignette du fichier
POPL96.pdf (244.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00536819 , version 1 (16-11-2010)

Identifiants

  • HAL Id : inria-00536819 , version 1

Citer

Joachim Niehren. Functional Computation as Concurrent Computation. 23th ACM Symposium on Principles of Programming Languages, 1996, St. Petersburg Beach, Florida, United States. pp.333--343. ⟨inria-00536819⟩
27 Consultations
171 Téléchargements

Partager

Gmail Facebook X LinkedIn More