Cited By
View all- Matsuda KInaba KNakano K(2013)Polynomial-time inverse computation for accumulative functions with multiple data traversalsHigher-Order and Symbolic Computation10.1007/s10990-013-9097-825:1(3-38)Online publication date: 25-Sep-2013
- Matsuda KInaba KNakano KKiselyov OThompson S(2012)Polynomial-time inverse computation for accumulative functions with multiple data traversalsProceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation10.1145/2103746.2103752(5-14)Online publication date: 23-Jan-2012
- Vallecillo AGogolla M(2012)Typing model transformations using tractsProceedings of the 5th international conference on Theory and Practice of Model Transformations10.1007/978-3-642-30476-7_4(56-71)Online publication date: 28-May-2012
- Show More Cited By