Sign in

Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security.

Yongwang ZhaoDavid Sanán
Published in: CoRR (2023)
Keyphrases
  • memory management
  • operating system
  • hardware implementation
  • garbage collection
  • concurrent execution
  • access control
  • parallel computation
  • java virtual machine
  • real time
  • nearest neighbor
  • computing environments