Login / Signup

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example.

Cliff B. JonesNisansala Yatapanage
Published in: Formal Aspects Comput. (2019)
Keyphrases
  • background knowledge
  • semantic relations
  • garbage collection
  • decision making
  • relational databases
  • genetic algorithm
  • website
  • search algorithm
  • concurrent execution