Skip to content. | Skip to navigation

Programming Tools Group

Sections

Personal tools

Log in

You are here: Home → Members → Max Schaefer → Max Schaefer's publications

News: New editor of Science of Computer Programming 2008-05-23; Ralf Laemmel on the Expression Lemma 2008-05-15; Visit by Guy Steele and Richard Gabriel 2008-05-15; Two papers at OOPSLA 2008 2008-05-15; abc paper at POPL 2007 2006-09-14; More news…

Document Actions

Max Schaefer's publications

Conference Papers

Max Schäfer, Torbjörn Ekman, Oege de Moor. Sound and Extensible Renaming for Java. Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008.
Max Schäfer, Torbjörn Ekman, Oege de Moor. Formalising and Verifying Reference Attribute Grammars in Coq. European Symposium on Programming, ESOP 2009.
Max Schäfer, Torbjörn Ekman, Mathieu Verbaere, Oege de Moor. Stepping Stones over the Refactoring Rubicon -- Lightweight Language Extensions to Easily Realise Refactorings. European Conference on Object-Oriented Programming, ECOOP 2009.

Workshop Papers

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: