Microsoft Research, Cambridge
Short name of the algorithm

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