A Basic Contract Language for Web Services
Abstract elided by the publisher.
Related papers
- A theory of contracts for Web services TOPLAS 2009
- A theory of contracts for web services POPL 2008
- Deciding choreography realizability POPL 2012
- Whip: higher-order contracts for modern services ICFP 2017
- Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep CAV 2009
- Objectively: Components versus Web Services ECOOP 2002
- Towards Declarative Programming for Web Services SAS 2004
- Structured Communication-Centred Programming for Web Services ESOP 2007