【技术实现步骤摘要】
【国外来华专利技术】
本申请涉及软件源代码验证和编译，具体涉及用于使用liquid类型系统表示动态成形张量的系统、方法和介质。
技术介绍
1、机器学习领域特定语言(domain specific language，dsl)是用于开发基于机器学习的软件系统的专用计算机编程语言。由编程语言定义的变量通常具有固定的数据类型，通常指示给定类型的变量的固定特征集。如本文所使用的，“类型”和“数据类型”都应指由编程语言定义的数据类型。常见数据类型的示例包括整数、浮点数和数组。
2、机器学习算法倾向于广泛使用张量(即多维值矩阵)，在机器学习的背景下，张量可以表示卷积核和激活映射等结构。如本文所使用的，术语“张量”可以指多维值数组，包括数组中的数组。
3、软件验证是指自动检查软件源代码是否符合编程语言规定的标准(如类型安全)的过程。验证可以通过编译器或其它软件工具进行。(如本文所使用的，“验证”应指软件验证。)当变量在源代码中被调用于特定目的时，例如通过作为参数传递给函数时，编译器可以验证被调用的变量在源代码中被定义为正确的类型，以便由给定函数用作给...
【技术保护点】
1.一种用于验证以编程语言编写的计算机程序的源代码的方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，还包括：
3.根据权利要求2所述的方法，其特征在于：
4.根据权利要求2或3所述的方法，其特征在于：
5.根据权利要求2至4中任一项所述的方法，其特征在于：
6.根据权利要求2至5中任一项所述的方法，其特征在于，所述方法还包括：
7.根据权利要求1至6中任一项所述的方法，其特征在于，所述方法还包括，响应于确定所述源代码因验证而不确定：
8.根据权利要求1至7中...
【技术特征摘要】
【国外来华专利技术】
1.一种用于验证以编程语言编写的计算机程序的源代码的方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，还包括：
3.根据权利要求2所述的方法，其特征在于：
4.根据权利要求2或3所述的方法，其特征在于：
5.根据权利要求2至4中任一项所述的方法，其特征在于：
6.根据权利要求2至5中任一项所述的方法，其特征在于，所述方法还包括：
7.根据权利要求1至6中任一项所述的方法，其特征在于，所述方法还包括，响应于确定所述源代码因验证而不确定：
8.根据权利要...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。