Items where Author, Editor or other role is "Rowe, Reuben"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | C | H | R

Number of items: 14.

B

Brotherston, James and Gorogiannis, Nikos and Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 84-96. ISBN 978-1-4503-3549-2. (doi:10.1145/2914770.2837621) (KAR id:59465)

C

Cohen, Liron, Rowe, Reuben, Zohar, Yoni (2019) Towards Automated Reasoning in Herbrand Structures. Journal of Logic and Computation, . ISSN 0955-792X. (doi:10.1093/logcom/exz011) (KAR id:73527)

Cheung, Steven, Darvariu, Victor, Ghica, Dan R., Muroya, Koko, Rowe, Reuben (2018) A functional perspective on machine learning via programmable induction and abduction. In: Lecture Notes in Artificial Intelligence. Proceedings of the Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018) 9-11 May, 2018, Nagoya, Japan. Lecture Notes in Computer Science . Springer, Switzerland ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_6) (KAR id:66447)

Cohen, Liron and Rowe, Reuben N. S. (2018) Infinitary and Cyclic Proof Systems for Transitive Closure Logic. [Preprint] (doi:10.48550/arXiv.1802.00756) (KAR id:65886)

Cohen, Liron, Rowe, Reuben (2018) Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. In: Leibniz International Proceedings in Informatics. Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018. . LIPICS (doi:10.4230/LIPIcs.CSL.2018.16) (KAR id:67460)

H

Harrison, Joseph Richard, Thompson, Simon, Varoumas, Steven, Rowe, Reuben (2020) API migration: compare transformed. In: OCaml workshop 2020, 28 Aug 2020, virtual. (Unpublished) (KAR id:100124)

R

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. . pp. 950-965. ACM, ACM New York, NY, USA ©2019 ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314600) (KAR id:73526)

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) ROTOR : A Tool for Renaming Values in OCaml's Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR). . pp. 27-30. IEEE Press ISBN 978-1-7281-2271-7. E-ISBN 978-1-7281-2270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:80338)

Rowe, Reuben, Brotherston, James (2017) Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. In: Lecture Notes in Computer Science. Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017. Lecture Notes in Computer Science , 10501. pp. 295-310. Springer ISBN 978-3-319-66901-4. E-ISBN 978-3-319-66902-1. (doi:10.1007/978-3-319-66902-1_18) (KAR id:62287)

Rowe, Reuben N.S. and Brotherston, James (2017) Automatic cyclic termination proofs for recursive procedures in separation logic. In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. POPL Principles of Programming Languages . ACM, New York, USA, pp. 53-65. ISBN 978-1-4503-4705-1. (doi:10.1145/3018610.3018623) (KAR id:64716)

Rowe, Reuben (2015) Encoding the Factorisation Calculus. In: Electronic Proceedings in Theoretical Computer Science. Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics. 190. pp. 76-90. (doi:10.4204/EPTCS.190.6) (KAR id:64718)

Rowe, Reuben N.S., van Bakel, S.J. (2014) Semantic Types and Approximation for Featherweight Java. Theoretical Computer Science, 517 . pp. 34-74. ISSN 0304-3975. (doi:10.1016/j.tcs.2013.08.017) (KAR id:65743)

Rowe, Reuben, Van Bakel, Steffen (2011) Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming. In: Lecture Notes in Computer Science. Typed Lambda Calculi and Applications. 6690. pp. 229-244. Springer ISBN 978-3-642-21690-9. (doi:10.1007/978-3-642-21691-6_19) (KAR id:65744)

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2009) ROTOR: A Tool for Renaming Values in OCaml’s Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring. . IEEE ISBN 978-1-7281-2270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:74129)

This list was generated on Tue Apr 23 20:08:08 2024 BST.