Items where Author, Editor or other role is "Rowe, Reuben"

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 14.

Harrison, Joseph Richard, Thompson, Simon, Varoumas, Steven, Rowe, Reuben (2020) API migration: compare transformed. [Conference item] (Unpublished) (KAR id:100124)

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. ACM, ACM New York, NY, USA ©2019 ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314600) (KAR id:73526)

Cohen, Liron, Rowe, Reuben, Zohar, Yoni (2019) Towards Automated Reasoning in Herbrand Structures. Journal of Logic and Computation, . ISSN 0955-792X. (doi:10.1093/logcom/exz011) (KAR id:73527)

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) ROTOR : A Tool for Renaming Values in OCaml's Module System. In: 3rd International Workshop on Refactoring, Tuesday, 28 May 2019, Montréal, Canada. (doi:10.1109/IWoR.2019.00013) (KAR id:80338)

Cheung, Steven, Darvariu, Victor, Ghica, Dan R., Muroya, Koko, Rowe, Reuben (2018) A functional perspective on machine learning via programmable induction and abduction. In: Proceedings of the Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018) 9-11 May, 2018, Nagoya, Japan. Lecture Notes in Computer Science Springer, Switzerland ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_6) (KAR id:66447)

Cohen, Liron and Rowe, Reuben N. S. (2018) Infinitary and Cyclic Proof Systems for Transitive Closure Logic. [Preprint] (doi:10.48550/arXiv.1802.00756) (KAR id:65886)

Cohen, Liron, Rowe, Reuben (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. LIPICS (doi:10.4230/LIPIcs.CSL.2018.16) (KAR id:67460)

Rowe, Reuben, Brotherston, James (2017) Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. In: Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017. Lecture Notes in Computer Science Springer ISBN 978-3-319-66901-4. E-ISBN 978-3-319-66902-1. (doi:10.1007/978-3-319-66902-1_18) (KAR id:62287)

Rowe, Reuben N.S. and Brotherston, James (2017) Automatic cyclic termination proofs for recursive procedures in separation logic. In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. POPL Principles of Programming Languages . ACM, New York, USA, pp. 53-65. ISBN 978-1-4503-4705-1. (doi:10.1145/3018610.3018623) (KAR id:64716)

Brotherston, James and Gorogiannis, Nikos and Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 84-96. ISBN 978-1-4503-3549-2. (doi:10.1145/2914770.2837621) (KAR id:59465)

Rowe, Reuben (2015) Encoding the Factorisation Calculus. In: Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics. (doi:10.4204/EPTCS.190.6) (KAR id:64718)

Rowe, Reuben N.S., van Bakel, S.J. (2014) Semantic Types and Approximation for Featherweight Java. Theoretical Computer Science, 517 . pp. 34-74. ISSN 0304-3975. (doi:10.1016/j.tcs.2013.08.017) (KAR id:65743)

Rowe, Reuben, Van Bakel, Steffen (2011) Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming. In: Typed Lambda Calculi and Applications. Springer ISBN 978-3-642-21690-9. (doi:10.1007/978-3-642-21691-6_19) (KAR id:65744)

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2009) ROTOR: A Tool for Renaming Values in OCaml’s Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring. IEEE ISBN 978-1-7281-2270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:74129)

This list was generated on Thu Apr 2 19:32:21 2026 BST.