Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Keith Wansbrough"'
Autor:
Matthew Fairbairn, Hannes Mehnert, Tom Ridge, Michael J. A. Smith, Peter Sewell, Michael Norrish, Steve Bishop, Keith Wansbrough
Conventional computer engineering relies on test-and-debug development processes, with the behavior of common interfaces described (at best) with prose specification documents. But prose specifications cannot be used in test-and-debug development in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e46bdb0f32d4e913906cbc78c2fd2b71
Publikováno v:
[Research Report] RR-4851, INRIA. 2003
ICFP
ICFP
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent stores. In this paper we combine the two, developin
Publikováno v:
Journal of Functional Programming. 18
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example, when a marshalled value is received from the netw
Autor:
Michael Norrish, Steve Bishop, Peter Sewell, Keith Wansbrough, Michael J. A. Smith, Matthew Fairbairn
Publikováno v:
POPL
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de facto one of the common implementations, including, for example, the 15,000
Autor:
Peter Sewell, Matthew Fairbairn, Michael J. A. Smith, Keith Wansbrough, Steve Bishop, Michael Norrish
Publikováno v:
SIGCOMM
Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the specifications are typically informal, and hence inevitably
Autor:
Pierre Habouzit, Peter Sewell, Mair Allen-Williams, James J. Leifer, Francesco Zappa Nardelli, Keith Wansbrough, Viktor Vafeiadis
Publikováno v:
ICFP
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95dfcebaea6370723e099490bc68fba6
https://eprints.soton.ac.uk/261487/
https://eprints.soton.ac.uk/261487/
Autor:
Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
We have developed a mathematically rigorous and experimentally-validated post-hoc specification of the behaviour of TCP, UDP, and the Sockets API. It characterises the API and network-interface interactions of a host, using operational semantics in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b67c54c1fe48ebd53b12ba9780689e47
Autor:
Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
See Volume 1 (UCAM-CL-TR-624).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4781ef2cb0b16993e52ecb30561f7f8c
Autor:
Keith Wansbrough
Implementations of lazy functional languages ensure that computations are performed only when they are needed, and save the results so that they are not repeated. This frees the programmer to describe solutions at a high level, leaving details of con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f2f4c65cdaf53bd48f5d9cbf8e6ce80
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example when a marshalled value is received from the netwo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83aef22d1de1146a51b0b4807b52c8de