A Rude Contract Language for Web Services

DOI10.1016/j.entcs.2006.01.029zbMath1316.68030OpenAlexW2049862114MaRDI QIDQ5262959

Samuele Carpineti, Cosimo Laneve

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.01.029

zbMATH Keywords

contractssubtypingweb servicesXML types

Mathematics Subject Classification ID

Theory of software (68N99) Internet topics (68M11)

Uses Software

• PiDuce

Cites Work

• PiDuce- A project for experimenting web services technologies
• Regular expression types for XML
• Programming Languages and Systems
• Unnamed Item

This page was built for publication: A Rude Contract Language for Web Services