Reuben N. S. Rowe
Zitiert von
Zitiert von
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
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
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
Uniform inductive reasoning in transitive closure logic via infinite descent
L Cohen, R Rowe
Leibniz International Proceedings in Informatics, 2018
Approximation semantics and expressive predicate assignment for object-oriented programming
R Rowe, S Van Bakel
International Conference on Typed Lambda Calculi and Applications, 229-244, 2011
Semantic Types and Approximation for Featherweight Java
RNS Rowe, SJ Van Bakel
Theoretical Computer Science 517, 34-74, 2014
Semantic types for class-based objects
RNS Rowe
Imperial College London, 2013
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
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
Non-well-founded proof theory of transitive closure logic
L Cohen, RNS Rowe
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020
A non-wellfounded, labelled proof system for propositional dynamic logic
S Docherty, RNS Rowe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
Infinitary and Cyclic Proof Systems for Transitive Closure Logic
L Cohen, RNS Rowe
arXiv preprint arXiv:1802.00756, 2018
Realizability in cyclic proof: Extracting ordering information for infinite descent
RNS Rowe, J Brotherston
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
Rotor: First steps towards a refactoring tool for ocaml
RNS Rowe, SJ Thompson
OCaml Users and Developers Workshop 2017, 2017
Structural types for the factorisation calculus
A Bates, RNS Rowe
Master’s thesis, University College London, 2014
Towards automated reasoning in Herbrand structures
L Cohen, RNS Rowe, Y Zohar
Journal of Logic and Computation 29 (5), 693-721, 2019
Size relationships in abstract cyclic entailment systems
RNS Rowe, J Brotherston
arXiv preprint arXiv:1702.03981, 2017
Functional Type Assignment for Featherweight Java
SJ van Bakel, RNS Rowe
The Beauty of Functional Code, 27-46, 2013
Cyclic Program Synthesis
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey
Technical Report. University of California, San Diego. https://cseweb. ucsd …, 2021
Integrating Induction and Coinduction via Closure Operators and Proof Cycles
L Cohen, RNS Rowe
International Joint Conference on Automated Reasoning, 375-394, 2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20