Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri. An Executable Specification for SPARQL. In Wojciech Cellary, Mohamed F. Mokbel, Jianmin Wang 0001, Hua Wang, Rui Zhou 0001, Yanchun Zhang, editors, Web Information Systems Engineering - WISE 2016 - 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II. Volume 10042 of Lecture Notes in Computer Science, pages 298-305, 2016. [doi]