Types for Safe Locking

This publication has 20 references indexed in Scilit:

• Barrier inference
  Published by Association for Computing Machinery (ACM) ,1998
• Detecting data races in Cilk programs that use locks
  Published by Association for Computing Machinery (ACM) ,1998
• Detecting deadlocks in concurrent systems
  Published by Springer Nature ,1998
• Type and behaviour reconstruction for higher-order concurrent programs
  Journal of Functional Programming, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• A type-theoretic approach to deadlock-freedom of asynchronous systems
  Published by Springer Nature ,1997
• Evaluating deadlock detection methods for concurrent software
  IEEE Transactions on Software Engineering, 1996
• Analyzing the communication topology of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1995
• Automated analysis of concurrent systems with the constrained expression toolset
  IEEE Transactions on Software Engineering, 1991
• Algebraic reconstruction of types and effects
  Published by Association for Computing Machinery (ACM) ,1991