Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab. Type Checking Program Code Using SHACL. In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Svátek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon, editors, The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I. Volume 11778 of Lecture Notes in Computer Science, pages 399-417, Springer, 2019. [doi]
Abstract is missing.