tr-announce July 2017

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 4 discussions

2016-08: Derivative Code by Overloading in C++ (dco/c++): Introduction and Summary of Features
by Jera Hensel
6 years, 9 months

2017-06: CD2Alloy: A Translation of Class Diagrams to Alloy
by Hensel, Jera
6 years, 10 months

2017-05: Complexity Analysis for Term Rewriting by Integer Transition Systems
by Hensel, Jera
6 years, 10 months

2017-04: Complexity Analysis for Java with AProVE
by Hensel, Jera
6 years, 10 months
Results per page: