Type Checking Program Code using SHACL (Extended Version).

Martin Leinberger Philipp Seifer Claudia Schon Ralf Lämmel Steffen Staab

Published in: CoRR (2019)

Keyphrases

program code
type checking
data types