( en | de | ru )

 

Disambiguation of "Rowe, Reuben N. S."

Author of the publication

copydeleteadd this publication to your clipboard
Semantic predicate types and approximation for class-based object oriented programming.

, and . FTfJP@ECOOP, page 3:1-3:7. ACM, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S N Chillrud

n-s Yi

Hy n-s Yi

Hy n-s Pak

n n n

 

Other publications of authors with the same name

Integrating Induction and Coinduction via Closure Operators and Proof Cycles., and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 375-394. Springer, (2020)Semantic types for class-based objects.. Imperial College London, UK, (2013)British Library, EThOS.Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)., , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 110-134. Springer, (2021)Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent., and . TABLEAUX, volume 10501 of Lecture Notes in Computer Science, page 295-310. Springer, (2017)Rotor: a tool for renaming values in OCaml's module system., , , and . IWOR@ICSE, page 27-30. IEEE / ACM, (2019)A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic., and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 335-352. Springer, (2019)Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract)., and . TLCA, volume 6690 of Lecture Notes in Computer Science, page 229-244. Springer, (2011)Semantic predicate types and approximation for class-based object oriented programming., and . FTfJP@ECOOP, page 3:1-3:7. ACM, (2009)Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent., and . CSL, volume 119 of LIPIcs, page 17:1-17:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Safe, Flexible Recursive Types for Featherweight Java.. ICCSW, volume DTR11-9 of Department of Computing Technical Report, page 80-86. Imperial College London, (2011)