Towards Declarative Programming for Web Services
Abstract elided by the publisher.
Related papers
- Verifying policy-based web services security TOPLAS 2008
- Flapjax: a programming language for Ajax applications OOPSLA 2009
- Objectively: Components versus Web Services ECOOP 2002
- A Basic Contract Language for Web Services ESOP 2006
- Structured Communication-Centred Programming for Web Services ESOP 2007
- A Calculus for Orchestration of Web Services ESOP 2007
- WSAT: A Tool for Formal Analysis of Web Services CAV 2004
- Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses CAV 2016