| CastagnaGesbertPadovani07 (In proceedings)
|
| Author(s) | Giuseppe Castagna, Nils Gesbert and Luca Padovani |
| Title | « A Theory of Contracts for Web Services » |
| In | Proceedings of the ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07) |
| Page(s) | 37-48 |
| Year | 2007 |
| Publisher | ACM |
| URL | http://www.di.unito.it/~padovani/Papers/planx_2007.pdf |
| Abstract |
| We report preliminary results on our attempt to devise a type theory to decribe the detailed behaviour of web services and relate them. Our goal is to devise a type system that is as much minimal and language neutral as possible. We outline the possible practical impact of such a work, and the perspectives of future research it opens. |
@inproceedings{CastagnaGesbertPadovani07,
author = {Giuseppe Castagna and Nils Gesbert and Luca Padovani},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Programming Language
Technologies for XML (PLAN-X'07)},
url = {http://www.di.unito.it/~padovani/Papers/planx_2007.pdf},
title = {{A Theory of Contracts for Web Services}},
abstract = { We report preliminary results on our attempt to devise a type
theory to decribe the detailed behaviour of web services and
relate them. Our goal is to devise a type system that is as much
minimal and language neutral as possible. We outline the possible
practical impact of such a work, and the perspectives of future
research it opens. },
publisher = {ACM},
year = {2007},
pages = {37-48},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
