School of Computing

Publications by Dr Reuben Rowe

Also view these in the Kent Academic Repository

Article
Rowe, R. and van Bakel, S. (2014). Semantic Types and Approximation for Featherweight Java. Theoretical Computer Science [Online] 517:34-74. Available at: https://doi.org/10.1016/j.tcs.2013.08.017.
Conference or workshop item
Cheung, S. et al. (2018). A functional perspective on machine learning via programmable induction and abduction. in: Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018). Switzerland: Springer. Available at: http://dx.doi.org/10.1007/978-3-319-90686-7_6.
Rowe, R. and Brotherston, J. (2017). Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. in: TABLEAUX 2017: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer, pp. 295-310. Available at: http://dx.doi.org/10.1007/978-3-319-66902-1_18.
Rowe, R. and Brotherston, J. (2017). Automatic cyclic termination proofs for recursive procedures in separation logic. in: 6th ACM SIGPLAN Conference on Certified Programs and Proofs. ACM, pp. 53-65. Available at: https://doi.org/10.1145/3018610.3018623.
Brotherston, J. et al. (2016). Model checking for symbolic-heap separation logic with inductive predicates. in: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. New York, NY, USA: ACM, pp. 84-96. Available at: http://doi.org/10.1145/2914770.2837621.
Rowe, R. (2015). Encoding the Factorisation Calculus. in: EXPRESS/SOS 2015. pp. 76-90. Available at: https://doi.org/10.4204/EPTCS.190.6.
Rowe, R. and Van Bakel, S. (2011). Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming. in: 10th International Conerence on Typed Lambda Calculi and Applications. Springer, pp. 229-244. Available at: https://doi.org/10.1007/978-3-642-21691-6_19.
Forthcoming
Cohen, L. and Rowe, R. (2018). Infinitary and Cyclic Proof Systems for Transitive Closure Logic. University of Kent.
Cohen, L. and Rowe, R. (2018). Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. in: Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. LIPICS. Available at: http://dx.doi.org/10.4230/LIPIcs.CSL.2018.16.
Total publications in KAR: 9 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 19/07/2018