to synthesize code from high-level specifications. NCS enables developers to specify conditions and actions based on it. A patent license for this particular work, or an object code saying where to find the applicable terms. Additional terms, permissive or non-permissive, may