公开(公告)号：US09104428B1

公开(公告)日：2015-08-11

申请号：US14092128

申请日：2013-11-27

Applicant: The MathWorks, Inc.

Inventor： Michael Karr

IPC: G06F9/45

CPC classification number: G06F8/437 ,  G06F8/31 ,  G06F9/4484

Abstract: In an embodiment of the invention, one or more tangible non-transitory computer-readable storage media may store the following instructions. Defining representation type spaces R1 and R2 and correctness type spaces C1 and C2 over the representation type spaces R1 and R2, respectively. Defining a representation type space R and a correctness type space C over the representation type space R, such that a semilattice associated with the correctness type space C is a function semilattice over respective semilattices associated with the correctness type spaces C1 and C2.

Abstract translation: 在本发明的一个实施例中，一个或多个有形的非暂时计算机可读存储介质可以存储以下指令。 在表示类型空间R1和R2上分别定义表示类型空间R1和R2以及正确类型空间C1和C2。 在表示类型空间R上定义表示类型空间R和正确性类型空间C，使得与正确性类型空间C相关联的半格值是与正确类型空间C1和C2相关联的各个半格点的函数半格。