CINECA IRIS Institutional Research Information System

A theory of contracts for web services

Padovani, Luca
2008-01-01
2008
35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08
San Francisco, CA, usa
2008
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ACM
261
272
9781595936899
CCS; concurrency theory; contracts; explicit coercions; must testing; subtyping; type theory; web services; Software
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
2008 - POPL - Castagna Gesbert Padovani - A Theory of Contracts for Web Services.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 275.68 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
275.68 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1652138
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 51
  • ???jsp.display-item.citation.isi??? 38
social impact