Reuben N. S. Rowe

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Integrating induction and coinduction via closure operators and proof cycles	2022-11-09	Paper
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent	2022-05-28	Paper
Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)	2022-03-25	Paper
Encoding the factorisation calculus	2021-12-03	Paper
Encoding the factorisation calculus (available as arXiv preprint)	2021-12-03	Paper
Non-well-founded proof theory of transitive closure logic ACM Transactions on Computational Logic	2020-09-11	Paper
A non-wellfounded, labelled proof system for propositional dynamic logic (available as arXiv preprint)	2020-05-14	Paper
Towards automated reasoning in Herbrand structures Journal Of Logic And Computation	2020-02-03	Paper
A functional perspective on machine learning via programmable induction and abduction	2018-07-09	Paper
Realizability in cyclic proof: extracting ordering information for infinite descent	2018-02-02	Paper
Model checking for symbolic-heap separation logic with inductive predicates Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday Lecture Notes in Computer Science	2014-04-16	Paper
Semantic types and approximation for Featherweight Java Theoretical Computer Science	2013-12-18	Paper
Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract) Lecture Notes in Computer Science	2011-06-17	Paper

Research outcomes over time

This page was built for person: Reuben N. S. Rowe