2013
2012
- Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]
2011
- A Comparison of Rule Inheritance in Model-to-Model Transformation LanguagesManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitrios S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Denis Wagelaar. ICMT 2011: 31-46 [doi]
- A Comparison of Rule Inheritance in Model-to-Model Transformation LanguagesManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Dimitris Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar. ICMT 2011: 31-46
PreviousNext