Collaboration

A Typed Model for Encoding-Based Protocol Interoperability

Date Added: Jan 2011
Format: PDF

Documentation of the HTTP protocol includes precise descriptions of the syntax of the protocol, but lacks similarly precise specification of the semantics of messages and message bodies. Semantics are stated in English prose; while this makes the document more intuitively accessible, it makes any sort of formal claims of correctness or interoperability difficult to derive from the specification itself. The authors propose "Layered Types", a formal description of the interpretive semantics of HTTP message bodies based upon the stacked type syntax.