locked
CSoft Status (Migrated from community.research.microsoft.com) RRS feed

  • Question

  • DavidRoh posted on 01-03-2009 4:06 PM

     

    What is the status of CSoft?

    Friday, June 3, 2011 4:41 PM

Answers

  • jwinn replied on 01-05-2009 5:17 AM

    Hi David,

    Infer.NET 2.2 actually includes Csoft - it is the internal 'Model Specification Language' that is used as input to the Infer.NET compiler.  When you use the Infer.NET modelling API, it is constructing a Csoft program under the hood which represents your model. The use of an API, rather than directly writing in Csoft, means that Infer.NET can be used from any .NET language and also allows us to constrain the Csoft program so that only supported constructs are allowed e.g. we only support certain kinds of loops.  For more information see this page:
    http://research.microsoft.com/en-us/um/cambridge/projects/infernet/docs/The%20Model%20Specification%20Language.aspx

    Best regards,
    John W.

    Friday, June 3, 2011 4:41 PM