( en | de | ru )

 

Disambiguierung von "Rowe, Reuben N. S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantic predicate types and approximation for class-based object oriented programming.

, und . FTfJP@ECOOP, Seite 3:1-3:7. ACM, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

S N Chillrud

n-s Yi

Hy n-s Yi

Hy n-s Pak

n n n

 

Weitere Publikationen von Autoren mit dem selben Namen

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic., und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 335-352. Springer, (2019)Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract)., und . TLCA, Volume 6690 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2011)Semantic predicate types and approximation for class-based object oriented programming., und . FTfJP@ECOOP, Seite 3:1-3:7. ACM, (2009)Integrating Induction and Coinduction via Closure Operators and Proof Cycles., und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 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)., , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 110-134. Springer, (2021)Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent., und . TABLEAUX, Volume 10501 von Lecture Notes in Computer Science, Seite 295-310. Springer, (2017)Rotor: a tool for renaming values in OCaml's module system., , , und . IWOR@ICSE, Seite 27-30. IEEE / ACM, (2019)Infinitary and Cyclic Proof Systems for Transitive Closure Logic., und . CoRR, (2018)Cyclic program synthesis., , , , und . PLDI, Seite 944-959. ACM, (2021)