Type Inference Against Races

This publication has 25 references indexed in Scilit:

• Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
  Formal Methods in System Design, 2004
• Type Inference for Parameterized Race-Free Java
  Published by Springer Nature ,2004
• Type Inference Against Races
  Published by Springer Nature ,2004
• Transactions for Software Model Checking
  Electronic Notes in Theoretical Computer Science, 2003
• Static conflict analysis for multi-threaded object-oriented programs
  ACM SIGPLAN Notices, 2003
• Type Error Slicing in Implicitly Typed Higher-Order Languages
  Published by Springer Nature ,2003
• Introduction to set constraint-based program analysis
  Science of Computer Programming, 1999
• Eraser
  ACM Transactions on Computer Systems, 1997
• Polymorphic type, region and effect inference
  Journal of Functional Programming, 1992
• Typechecking dependent types and subtypes
  Published by Springer Nature ,1988