C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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