E-LIB Suche - Ergebnisse für: Wansbrough, Keith

1

Engineering with Logic : Rigorous Test-Oracle Specificat..:

Bishop, Steve ; Fairbairn, Matthew ; Mehnert, Hannes...
Journal of the ACM (JACM). 66 (2018) 1 - p. 1-77 , 2018

Link: https://dl.acm.org/doi/1..

2

Engineering with Logic: Rigorous Test-Oracle Specification ..:

Bishop, Steve ; Fairbairn, Matthew ; Mehnert, Hannes...
Journal of the ACM. 66 (2018) 1 - p. 1-77 , 2018

Link: https://doi.org/10.1145/..

3

Acute: High-level programming language design for distribut..:

SEWELL, PETER ; LEIFER, JAMES J. ; WANSBROUGH, KEITH...
Journal of Functional Programming. 17 (2007) 4-5 - p. 547-612 , 2007

Link: https://doi.org/10.1017/..

4

Dynamic rebinding for marshalling and update, via redex-tim..:

SEWELL, PETER ; STOYLE, GARETH ; HICKS, MICHAEL..
Journal of Functional Programming. 18 (2007) 4 - p. , 2007

Link: https://doi.org/10.1017/..

5

Engineering with logic : HOL specification and symbolic-..:

, In: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Bishop, Steve ; Fairbairn, Matthew ; Norrish, Michael... - p. 55-66 , 2006

Link: https://dl.acm.org/doi/1..

6

Engineering with logic: HOL specification and symbolic-eval..:

Bishop, Steve ; Fairbairn, Matthew ; Norrish, Michael...
ACM SIGPLAN Notices. 41 (2006) 1 - p. 55-66 , 2006

Link: https://doi.org/10.1145/..

7

Acute: high-level programming language design for distribut..:

Sewell, Peter ; Leifer, James J. ; Wansbrough, Keith...
ACM SIGPLAN Notices. 40 (2005) 9 - p. 15-26 , 2005

Link: https://doi.org/10.1145/..

8

Acute : high-level programming language design for distr..:

, In: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming,

Sewell, Peter ; Leifer, James J. ; Wansbrough, Keith... - p. 15-26 , 2005

Link: https://dl.acm.org/doi/1..

9

Rigorous specification and conformance testing techniques f..:

, In: Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications,

Bishop, Steve ; Fairbairn, Matthew ; Norrish, Michael... - p. 265-276 , 2005

Link: https://dl.acm.org/doi/1..

10

Rigorous specification and conformance testing techniques f..:

Bishop, Steve ; Fairbairn, Matthew ; Norrish, Michael...
ACM SIGCOMM Computer Communication Review. 35 (2005) 4 - p. 265-276 , 2005

Link: https://doi.org/10.1145/..

11

Global abstraction-safe marshalling with hash types:

Leifer, James J. ; Peskine, Gilles ; Sewell, Peter.
ACM SIGPLAN Notices. 38 (2003) 9 - p. 87-98 , 2003

Link: https://doi.org/10.1145/..

12

Dynamic rebinding for marshalling and update, with destruct..:

, In: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming,

Bierman, Gavin ; Hicks, Michael ; Sewell, Peter.. - p. 99-110 , 2003

Link: https://dl.acm.org/doi/1..

13

Dynamic rebinding for marshalling and update, with destruct..:

Bierman, Gavin ; Hicks, Michael ; Sewell, Peter..
ACM SIGPLAN Notices. 38 (2003) 9 - p. 99-110 , 2003

Link: https://doi.org/10.1145/..

14

Global abstraction-safe marshalling with hash types:

, In: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming,

Leifer, James J. ; Peskine, Gilles ; Sewell, Peter. - p. 87-98 , 2003

Link: https://dl.acm.org/doi/1..

15

Rigour is good for you and feasible : reflections on for..:

, In: Proceedings of the 10th workshop on ACM SIGOPS European workshop,

Norrish, Michael ; Sewell, Peter ; Wansbrough, Keith - p. 49-53 , 2002

Link: https://dl.acm.org/doi/1..