Cited By
View all- Liu YEmoto KHu Z(2013)A generate-test-aggregate parallel programming libraryProceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores10.1145/2442992.2443000(71-81)Online publication date: 23-Feb-2013
- Emoto KFischer SHu Z(2012)Generate, test, and aggregateProceedings of the 21st European conference on Programming Languages and Systems10.1007/978-3-642-28869-2_13(254-273)Online publication date: 24-Mar-2012
- Morihata AMatsuzaki K(2010)Automatic parallelization of recursive functions using quantifier eliminationProceedings of the 10th international conference on Functional and Logic Programming10.1007/978-3-642-12251-4_23(321-336)Online publication date: 19-Apr-2010
- Show More Cited By