Fast Parallel Equivalence Relations in a Datalog Compiler - Nappa, Patrick; Zhao, David; Subotic, Pavle; Scholz, Bernhard (Proceedings / International Conference on Parallel Architectures and Compilation Techniques, 2019)
Keywords: Australia; C++ languages; Data structures; Datalog Compiler; Engines; Equivalence Relation; Parallel Data Structures; Program processors; Semantics; Semi-naïve Evaluation; Vegetation