Type Checking Program Code Using SHACL.

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

Published in: ISWC (1) (2019)

Keyphrases

type checking
program code
programming language
abstract data types
data types
query processor
programming concepts
object model
database
relational calculus
object oriented
data mining
artificial intelligence
relational databases
data model
data mining techniques