Keyword:object-oriented programming

Papers
Towards an Order and Category Theoretic Model of Java Generics (extended version) Moez Abdelgawad EasyChair Preprint no. 3631
Towards Automated Refactoring of Code Clones in Object-Oriented Programming Languages Simon Baars and Ana Oprescu EasyChair Preprint no. 1278
Playing Lorenzen Dialogue Games on the Web Jesse Alama and Sara L. Uckelman In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.