A rude contract language for web services

DOI10.1016/J.ENTCS.2006.01.029zbMATH Open1316.68030OpenAlexW2049862114MaRDI QIDQ5262959FDOQ5262959

Cosimo Laneve, Samuele Carpineti

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

Recommendations

• Programming Languages and Systems
• The DSD schema language
• A Comparative Analysis of XML Schema Languages
• scientific article; zbMATH DE number 2043533
• XML schema, tree logic and sheaves automata

zbMATH Keywords

contractssubtypingweb servicesXML types

Mathematics Subject Classification ID

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

Cites Work

• PiDuce- A project for experimenting web services technologies
• Title not available (Why is that?)
• Regular expression types for XML
• Programming Languages and Systems

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• PiDuce

This page was built for publication: A rude contract language for web services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262959)