Type checking beyond type checkers, via slice & run.

Justus Adam Stephen Kell

Published in: TAPAS@SPLASH (2020)

Keyphrases

type checking
data types
database query languages
query processor
object model
abstract data types
relational calculus
data analysis
response time
multi dimensional
expressive power
relational algebra