A theory of contracts for Web services

Giuseppe Castagna; Nils Gesbert; Luca Padovani

doi:10.1145/1538917.1538920

Article Dans Une Revue ACM Transactions on Programming Languages and Systems (TOPLAS) Année : 2009

A theory of contracts for Web services

(1) , (2) , (3)

1
2
3

Giuseppe Castagna

Fonction : Auteur
PersonId : 8870
IdHAL : castagna
ORCID : 0000-0003-0951-7535
IdRef : 035110600

Preuves, Programmes et Systèmes

Nils Gesbert

Fonction : Auteur
PersonId : 899056

University of Glasgow

Luca Padovani

Fonction : Auteur

Information Science and Technology Institute

Domaines

Langage de programmation [cs.PL]

Giuseppe Castagna : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00434459

Soumis le : lundi 23 novembre 2009-12:58:09

Dernière modification le : mercredi 20 mars 2024-11:40:18

Dates et versions

hal-00434459 , version 1 (23-11-2009)

Identifiants

HAL Id : hal-00434459 , version 1
DOI : 10.1145/1538917.1538920

Citer

Giuseppe Castagna, Nils Gesbert, Luca Padovani. A theory of contracts for Web services. ACM Transactions on Programming Languages and Systems (TOPLAS), 2009, 31 (5), pp.1-61. ⟨10.1145/1538917.1538920⟩. ⟨hal-00434459⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 UNIV-RENNES1 PPS CNRS IRISA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES ANR UR1-MATH-NUM

45 Consultations

0 Téléchargements

A theory of contracts for Web services

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager