Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 8.

2016

Robbins, Ed and King, Andy and Schrijvers, Tom (2016) From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes. In: Guha, Arjun and Chong, Steve, eds. Symposium on Principles of Programming Languages. ACM Press, St. Petersburg, Florida, USA, pp. 191-203. (doi:https://doi.org/10.1145/2837614.2837633) (Full text available)
[img]
Preview

2015

Robbins, Ed and King, Andy and Schrijvers, Tom (2015) Benchmarks, assembly files, and witnesses. On-line. Located at: On-line. (Full text available)
[img]

Robbins, Ed and King, Andy and Schrijvers, Tom (2015) Proof appendix to accompany the paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes". University of Kent (Full text available)
[img]
Preview

2013

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York, pp. 37-48. ISBN 978-1-4503-2154-9. (doi:https://doi.org/10.1145/2505879.2505886) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Robbins, Ed and King, Andy and Jacob, Howe (2013) Theory Propagation and Rational-Trees. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York, pp. 193-204. ISBN 978-1-4503-2154-9. (doi:https://doi.org/10.1145/2505879.2505901) (Full text available)
[img]
Preview

2012

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Schrijvers, Tom and Thiemann, Peter, eds. Eleventh International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science, 7294. Springer, Kobe, Japan pp. 182-196. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings. In: Schrijvers, Tom and Thiemann, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 7294 . Springer, pp. 182-196. ISBN 978-3-642-29821-9. (doi:https://doi.org/10.1007/978-3-642-29822-6_16) (Full text available)
[img]
Preview

2010

Orchard, Dominic A. and Schrijvers, Tom (2010) Haskell Type Constraints Unleashed. In: Lecture Notes in Computer Science. Functional and Logic Programming. Springer pp. 56-71. (doi:https://doi.org/10.1007/978-3-642-12251-4_6) (Full text available)
[img]
Preview

This list was generated on Thu May 23 13:15:49 2019 BST.