Unifying type checking and property checking for low-level code.

Jeremy Condit Brian Hackett Shuvendu K. Lahiri Shaz Qadeer

Published in: POPL (2009)

Keyphrases

type checking
low level
java virtual machine
data types
high level
database query languages
query processor
relational calculus
object model
databases
relational algebra