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]
@inproceedings{LeinbergerSSLS19,
title = {Type Checking Program Code Using SHACL},
author = {Martin Leinberger and Philipp Seifer and Claudia Schon and Ralf Lämmel and Steffen Staab},
year = {2019},
doi = {10.1007/978-3-030-30793-6_23},
url = {https://doi.org/10.1007/978-3-030-30793-6_23},
researchr = {https://researchr.org/publication/LeinbergerSSLS19},
cites = {0},
citedby = {0},
pages = {399-417},
booktitle = {The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I},
editor = {Chiara Ghidini and Olaf Hartig and Maria Maleshkova and Vojtech Svátek and Isabel F. Cruz and Aidan Hogan and Jie Song and Maxime Lefrançois and Fabien Gandon},
volume = {11778},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-30793-6},
}