|
Search the dblp DataBase
Max Schäfer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tyng-Ruey Chuang, Max Schäfer
Status report: layered streaming XML processing with modules. [Citation Graph (0, 0)][DBLP] ML, 2007, pp:53-58 [Conf]
Stepping Stones over the Refactoring Rubicon. [Citation Graph (, )][DBLP]
Correct Refactoring of Concurrent Java Code. [Citation Graph (, )][DBLP]
Formalising and Verifying Reference Attribute Grammars in Coq. [Citation Graph (, )][DBLP]
Sound and extensible renaming for java. [Citation Graph (, )][DBLP]
Type inference for datalog with complex type hierarchies. [Citation Graph (, )][DBLP]
Challenge proposal: verification of refactorings. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|