Reuben N. S. Rowe
Título
Citado por
Citado por
Ano
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
292016
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
252017
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
82018
Semantic types for class-based objects
RNS Rowe
Imperial College London, 2013
72013
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
72011
Uniform inductive reasoning in transitive closure logic via infinite descent
L Cohen, R Rowe
Leibniz International Proceedings in Informatics, 2018
62018
Semantic Types and Approximation for Featherweight Java
RNS Rowe, SJ Van Bakel
Theoretical Computer Science 517, 34-74, 2014
52014
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
A non-wellfounded, labelled proof system for propositional dynamic logic
S Docherty, RNS Rowe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
22019
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
22019
Infinitary and Cyclic Proof Systems for Transitive Closure Logic
L Cohen, RNS Rowe
arXiv preprint arXiv:1802.00756, 2018
22018
Rotor: First steps towards a refactoring tool for ocaml
RNS Rowe, SJ Thompson
OCaml Users and Developers Workshop 2017, 2017
22017
Structural types for the factorisation calculus
A Bates, RNS Rowe
Master’s thesis, University College London, 2014
22014
Non-well-founded Proof Theory of Transitive Closure Logic
L COHEN, RNS ROWE
ACM Transactions on Computational Logic, 2020
12020
Towards automated reasoning in Herbrand structures
L Cohen, RNS Rowe, Y Zohar
Journal of Logic and Computation 29 (5), 693-721, 2019
12019
Realizability in cyclic proof: Extracting ordering information for infinite descent
RNS Rowe, J Brotherston
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
12017
Size relationships in abstract cyclic entailment systems
RNS Rowe, J Brotherston
arXiv preprint arXiv:1702.03981, 2017
12017
Functional Type Assignment for Featherweight Java
SJ van Bakel, RNS Rowe
The Beauty of Functional Code, 27-46, 2013
12013
Integrating Induction and Coinduction via Closure Operators and Proof Cycles
L Cohen, RNS Rowe
International Joint Conference on Automated Reasoning, 375-394, 2020
2020
The Effects of similarities and dissimilarities in politico-administrative relations on Senior Executive Turnover in Local Governments
CH Grøn, N Opstrup, HH Salomonsen, AR Villadsen
Public Management Research Conference 2019, 2019
2019
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20