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