Skip to Main content Skip to Navigation
Conference papers

A Theory of Contracts for Web Services

Giuseppe Castagna 1 Nils Gesbert 2 Luca Padovani 3 
1 PPS - Preuves, Programmes et Systèmes
2 LRI - Laboratoire de Recherche en Informatique
3 ISTI - Information Science and Technology Institute
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00152547
Contributor : Giuseppe Castagna Connect in order to contact the contributor
Submitted on : Thursday, June 7, 2007 - 10:10:51 AM
Last modification on : Sunday, June 26, 2022 - 11:47:10 AM

Identifiers

  • HAL Id : hal-00152547, version 1

Collections

UNIV-PARIS7 | EC-PARIS | PPS | CNRS | UMR8623 | UNIV-PARIS

Citation

Giuseppe Castagna, Nils Gesbert, Luca Padovani. A Theory of Contracts for Web Services. PLAN-X, ACM-SIGPLAN Workshop on Programming Language Technologies for XML, 2007, France. ⟨hal-00152547⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

87