Static Race Detection and Mutex Safety and Liveness for Go Programs. Julia Gabet and Nobuko Yoshida. 34th European Conference on Object-Oriented Programming, ECOOP 2020. 2020 shelley2024-07-26T09:03:56+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Sufficient Conditions for Robustness of RDMA Programs. Sufficient Conditions for Robustness of RDMA Programs. Simplifying Imperfect Recall Games. Simplifying Imperfect Recall Games. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.
by