The chemical approach to typestate-oriented programming

Abstract : 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.
Type de document :
Pré-publication, Document de travail
To appear in the proceedings of OOPSLA 2015. 2015
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01155682
Contributeur : Luca Padovani <>
Soumis le : mercredi 5 août 2015 - 21:09:47
Dernière modification le : jeudi 6 août 2015 - 08:55:28
Document(s) archivé(s) le : mercredi 26 avril 2017 - 08:36:25

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01155682, version 2

Citation

Silvia Crafa, Luca Padovani. The chemical approach to typestate-oriented programming. To appear in the proceedings of OOPSLA 2015. 2015. <hal-01155682v2>

Partager

Métriques

Consultations de
la notice

315

Téléchargements du document

329