( en | de | ru )

 

Disambiguation of "Wansbrough, Keith"

Author of the publication

copydeleteadd this publication to your clipboard
Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.

, , , , , , , and . J. ACM, 66 (1): 1:1-1:77 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Caren Christine Keith

Jon Franz Keith

Harald Keith

Hans Keith

Franz Keith

 

Other publications of authors with the same name

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API., , , , , , , and . J. ACM, 66 (1): 1:1-1:77 (2019)The UDP Calculus: Rigorous Semantics for Real Networking., , and . TACS, volume 2215 of Lecture Notes in Computer Science, page 535-559. Springer, (2001)Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction., , , , and . J. Funct. Program., 18 (4): 437-502 (2008)Simple polymorphic usage analysis.. University of Cambridge, UK, (2003)British Library, EThOS.Global abstraction-safe marshalling with hash types., , , and . ICFP, page 87-98. ACM, (2003)Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations., , , , , and . POPL, page 55-66. ACM, (2006)Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures., , , and . ESOP, volume 2305 of Lecture Notes in Computer Science, page 278-294. Springer, (2002)Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets., , and . ACM SIGOPS European Workshop, page 49-53. ACM, (2002)Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets., , , , , and . SIGCOMM, page 265-276. ACM, (2005)Dynamic rebinding for marshalling and update, with destruct-time?, , , , and . ICFP, page 99-110. ACM, (2003)