Follow
Reuben N. S. Rowe
Title
Cited by
Cited by
Year
Automatic cyclic termination proofs for recursive procedures in separation logic
RNS Rowe, J Brotherston
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
352017
Model checking for symbolic-heap separation logic with inductive predicates
J Brotherston, N Gorogiannis, M Kanovich, R Rowe
ACM SIGPLAN Notices 51 (1), 84-96, 2016
322016
A functional perspective on machine learning via programmable induction and abduction
S Cheung, V Darvariu, DR Ghica, K Muroya, RNS Rowe
International Symposium on Functional and Logic Programming, 84-98, 2018
122018
Uniform inductive reasoning in transitive closure logic via infinite descent
L Cohen, R Rowe
Leibniz International Proceedings in Informatics, 2018
122018
Approximation semantics and expressive predicate assignment for object-oriented programming
R Rowe, SV Bakel
International Conference on Typed Lambda Calculi and Applications, 229-244, 2011
82011
Cyclic program synthesis
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
72021
A non-wellfounded, labelled proof system for propositional dynamic logic
S Docherty, RNS Rowe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
72019
Semantic Types and Approximation for Featherweight Java
RNS Rowe, SJ Van Bakel
Theoretical Computer Science 517, 34-74, 2014
62014
Semantic types for class-based objects
RNS Rowe
Imperial College London, 2013
62013
Characterising renaming within ocaml’s module system: theory and implementation
RNS Rowe, H Férée, SJ Thompson, S Owens
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
52019
Semantic predicate types and approximation for class-based object oriented programming
S Van Bakel, RNS Rowe
Proceedings of the 11th International Workshop on Formal Techniques for Java …, 2009
52009
Non-well-founded proof theory of transitive closure logic
L Cohen, RNS Rowe
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020
42020
Integrating induction and coinduction via closure operators and proof cycles
L Cohen, RNS Rowe
International Joint Conference on Automated Reasoning, 375-394, 2020
42020
Realizability in cyclic proof: Extracting ordering information for infinite descent
RNS Rowe, J Brotherston
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
42017
Rotor: First steps towards a refactoring tool for ocaml
RNS Rowe, SJ Thompson
OCaml Users and Developers Workshop 2017, 2017
42017
Towards automated reasoning in Herbrand structures
L Cohen, RNS Rowe, Y Zohar
Journal of Logic and Computation 29 (5), 693-721, 2019
22019
Infinitary and Cyclic Proof Systems for Transitive Closure Logic
L Cohen, RNS Rowe
arXiv preprint arXiv:1802.00756, 2018
22018
Structural types for the factorisation calculus
A Bates, RNS Rowe
Master’s thesis, University College London, 2014
22014
Towards Large-scale Refactoring for OCaml
RNS ROWE, SJ THOMPSON
Proceedings of the ACM on Programming Languages 1 (1), 2018
12018
Size relationships in abstract cyclic entailment systems
RNS Rowe, J Brotherston
arXiv preprint arXiv:1702.03981, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20