ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization

Résumé

Several paradigms exist for distributed computing, this paper tries to provide a sound foundation for autonomous objects communicating in a very structured way. We define ASPfun, a calculus of functional objects, behaving autonomously, and communicating by a request-reply mechanism: requests are method calls handled asynchronously, futures represent awaited results for requests, and replies return the result of a request to an object that holds the corresponding future. This report first presents the ASPfun calculus and its semantics. Secondly we provide a type system for ASPfun, which ensure the ``progress'' property: while there is a request that is not reduced to a value, the computation can continue. ASPfun and its properties have been formalized and proved using the Isabelle theorem prover.
Fichier principal
Vignette du fichier
RR-6353.pdf (228.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00186963 , version 1 (13-11-2007)
inria-00186963 , version 2 (13-11-2007)

Identifiants

  • HAL Id : inria-00186963 , version 2

Citer

Ludovic Henrio, Florian Kammüller, Henry Sudhof. ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization. [Research Report] RR-6353, INRIA. 2007, pp.18. ⟨inria-00186963v2⟩
183 Consultations
201 Téléchargements

Partager

Gmail Facebook X LinkedIn More