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

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions.

Peter AndersonNick VrviloEric MercerVivek Sarkar
Published in: ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
  • java programs
  • multi threaded
  • java language
  • access control
  • software components
  • real time
  • case study
  • general purpose