Microsoft Research, Cambridge
The algorithm's name

Declaration Syntax
public abstract string Name { get; }
Public MustOverride ReadOnly Property Name As String
public:
virtual property String^ Name {
String^ get () abstract;
}Assembly:
Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)