• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Jeremy ConditBrian HackettShuvendu K. LahiriShaz 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