Derivation of parallel-efficient structural recursive functions from declarative graph queries.
Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
Browse the full SAC paper archive.
Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
Browse the full SAC paper archive.