Name
Abstract | ||
|---|---|---|
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. We propose "layered types", a formal description of the interpretive semantics of HTTP message bodies based upon the stacked type syntax. This model allows us to formally declare semantics for content-related HTTP headers and offers a precise way of characterizing interoperability between current and future protocol revisions and extensions. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1109/ICNP.2004.1348087 | ICNP |
Keywords | Field | DocType |
open systems,transport protocols,HTTP protocol,encoding-based protocol interoperability,protocol syntax | Programming language,Interoperability,Computer science,Correctness,Computer network,Internet protocol suite,Hypertext Transfer Protocol,Syntax,Stateless protocol,Internetwork protocol,Semantics | Conference |
ISSN | ISBN | Citations |
1092-1648 | 0-7695-2161-4 | 0 |
PageRank | References | Authors |
0.34 | 10 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bradley, A.D. | 1 | 0 | 0.34 |
| Azer Bestavros | 2 | 106 | 5.87 |
| A. J. Kfoury | 3 | 461 | 47.34 |