Type Checking Program Code Using SHACL2019-01-010 PRE AI DOI:10.1007/978-3-030-30793-6_23OriginalOriginal request for helpShareSaveAbstract En