A rude contract language for web services

DOI10.1016/J.ENTCS.2006.01.029MaRDI QIDQ5262959zbMATH OpenOpenAlexFDO

Authors 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

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

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

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• PiDuce- A project for experimenting web services technologies
• Programming Languages and Systems
• Regular expression types for XML

Cited in

(3)

• scientific article; zbMATH DE number 2017839 (Why is no real title available?)
• scientific article; zbMATH DE number 2013612 (Why is no real title available?)
• Programming Languages and Systems

Describes a project that uses

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)