Refinement Type Checking via Assertion Checking.

Ryosuke Sato Kazuyuki Asada Naoki Kobayashi

Published in: J. Inf. Process. (2015)

Keyphrases

type checking
data types
query processor
database query languages
relational calculus
object model
abstract data types
database
sql queries