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.
Keywords for this software
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)
- Gay, Simon J.; Vasconcelos, Vasco T.; Ravara, António; Gesbert, Nils; Caldeira, Alexandre Z.: Modular session types for distributed object-oriented programming (2010)