A Theory of Contracts for Web Services - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

A Theory of Contracts for Web Services

Giuseppe Castagna
Preuves, Programmes et Systèmes
Nils Gesbert
  • Fonction : Auteur
  • PersonId : 899056
Laboratoire de Recherche en Informatique
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-00152547

Soumis le : jeudi 7 juin 2007-10:10:51

Dernière modification le : samedi 10 février 2024-03:07:43

Fichier non déposé

Dates et versions

hal-00152547 , version 1 (07-06-2007)

Identifiants

  • HAL Id : hal-00152547 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 EC-PARIS UNIV-RENNES1 PPS CNRS IRISA UMR8623 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
92 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More