The Fugue protocol checker: Fugue is a defect detection tool for managed code that checks metadata (IL code) for problems with resource leaks, dangling resource references, and problems with method call ordering. Fugue captures as custom attributes many of the rules for using an interface or class and ensures that client code obeys those rules.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Gay, Simon J.; Gesbert, Nils; Ravara, António; Vasconcelos, Vasco T.: Modular session types for objects (2015)
- Puntigam, Franz: Synchronization as a special case of access control (2009)