Login / Signup

Permission-Based Separation Logic for Multithreaded Java Programs.

Afshin AmighiChristian HaackMarieke HuismanClément Hurlin
Published in: Log. Methods Comput. Sci. (2015)
Keyphrases
  • java programs
  • multi threaded
  • multithreading
  • java language
  • software components
  • access control
  • web services
  • test suite
  • case study
  • computer science
  • general purpose
  • shared memory
  • java virtual machine