OpenAlex
A theory of contracts for Web services
Work
Year: 2009
Type: article
Abstract: Contracts are behavioral descriptions of Web services. We devise a theory of contracts that formalizes the compatibility of a client with a service, and the safe replacement of a service with another ... more
Source: ACM Transactions on Programming Languages and Systems
Authors Giuseppe Castagna, Nils Gesbert, Luca Padovani
Institutions Centre National de la Recherche Scientifique, Université Paris Cité, Délégation Paris 7, University of Glasgow, University of Urbino
Cites: 49
Cited by: 209
Related to: 10
FWCI: 24.79
Citation percentile (by year/subfield): 100
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze
Funders Agence Nationale de la Recherche, Engineering and Physical Sciences Research Council
Grant IDS ANR-08-EMER-004-04, EP/FOB5708/1