The chemical approach to typestate-oriented programming - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2015

The chemical approach to typestate-oriented programming

Silvia Crafa
  • Fonction : Auteur
  • PersonId : 966684
Luca Padovani
  • Fonction : Auteur
  • PersonId : 966685

Résumé

We study a novel approach to typestate-oriented programming based on the chemical metaphor: state and operations on objects are molecules of messages and state transformations are chemical reactions. This approach allows us to investigate typestate in an inherently concurrent setting, whereby objects can be accessed and modified concurrently by several processes, each potentially changing only part of their state. We introduce a simple behavioral type theory to express in a uniform way both the private and the public interfaces of objects, to describe and enforce structured object protocols consisting of possibilities, prohibitions, and obligations , and to control object sharing.
Fichier principal
Vignette du fichier
main.pdf (380.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01155682 , version 1 (27-05-2015)
hal-01155682 , version 2 (05-08-2015)

Identifiants

  • HAL Id : hal-01155682 , version 1

Citer

Silvia Crafa, Luca Padovani. The chemical approach to typestate-oriented programming. 2015. ⟨hal-01155682v1⟩
283 Consultations
660 Téléchargements

Partager

More