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
442017
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
372016
Cyclic program synthesis
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
212021
A non-wellfounded, labelled proof system for propositional dynamic logic
S Docherty, RNS Rowe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
132019
A functional perspective on machine learning via programmable induction and abduction
S Cheung, V Darvariu, DR Ghica, K Muroya, RNS Rowe
Functional and Logic Programming: 14th International Symposium, FLOPS 2018 …, 2018
132018
Uniform inductive reasoning in transitive closure logic via infinite descent
L Cohen, RNS Rowe
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
122018
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
92019
Integrating induction and coinduction via closure operators and proof cycles
L Cohen, RNS Rowe
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
72020
Non-well-founded proof theory of transitive closure logic
L Cohen, RNS Rowe
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020
62020
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
Approximation semantics and expressive predicate assignment for object-oriented programming
R Rowe, S Van Bakel
Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011
62011
Deductive synthesis of programs with pointers: techniques, challenges, opportunities
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
52021
Rotor: First steps towards a refactoring tool for ocaml
RNS Rowe, SJ Thompson
OCaml Users and Developers Workshop, 2017
52017
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
Realizability in cyclic proof: Extracting ordering information for infinite descent
RNS Rowe, J Brotherston
Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017
42017
Rotor: a tool for renaming values in OCaml's module system
RNS Rowe, H Férée, SJ Thompson, S Owens
2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR), 27-30, 2019
32019
Infinitary and Cyclic Proof Systems for Transitive Closure Logic
L Cohen, RNS Rowe
arXiv preprint arXiv:1802.00756, 2018
32018
API migration: compare transformed
JR Harrison, S Thompson, S Varoumas, R Rowe
22020
Towards automated reasoning in Herbrand structures
L Cohen, RNS Rowe, Y Zohar
Journal of Logic and Computation 29 (5), 693-721, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20