首页> 中国专利> 用于元组图程序的类型推理的系统、跨网络执行元组图程序的方法

用于元组图程序的类型推理的系统、跨网络执行元组图程序的方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

编程模型提供了一种用于编程操作中的类型推理的方法。接收定义操作的一个或多个属性的信息，信息指定用于每个属性的包括字段名称和字段类型标识符的字段。至少基于属性来确定用于操作的约束，其中，约束限制用于操作的输入类型或用于操作的输出类型中的至少一个。接收定义用于操作的输入的信息，并且基于约束和接收的定义输入的信息，确定用于操作的输出类型。将输出类型与用于操作的输出相关联。

著录项

公开/公告号CN110945474A

专利类型发明专利
公开/公告日2020-03-31

原文格式PDF
申请/专利权人谷歌有限责任公司;
展开▼

申请/专利号CN201880039518.2
发明设计人戈塔姆·塔姆比多莱;马修·罗森克兰茨;桑杰·格玛沃特;斯尔詹·彼得罗维奇;伊凡·波斯瓦;
展开▼

申请日2018-05-17
分类号
代理机构上海华诚知识产权代理有限公司;
代理人肖华
地址美国加利福尼亚州
入库时间 2023-12-17 07:34:32

法律信息

法律状态公告日

法律状态信息

法律状态
2020-04-24

实质审查的生效 IPC(主分类):G06F8/41 申请日:20180517

实质审查的生效
2020-03-31

公开

公开

相似文献

专利
中文文献
外文文献

1. 用于元组图程序的类型推理的系统、跨网络执行元组图程序的方法 [P] . 中国专利： CN110945474A . 2020-03-31
2. 跨网络执行元组图程序的方法 [P] . 中国专利： CN110945481A . 2020-03-31
3. System of type inference for tuple graph programs method of executing a tuple graph program across a network [P] . 美国专利： US10642582B2 . 2020-05-05

机译：元组图程序的类型推断系统在网络上执行元组图程序的方法
4. System Of Type Inference For Tuple Graph Programs Method Of Executing A Tuple Graph Program Across A Network [P] . 美国专利： US2020293292A1 . 2020-09-17

机译：元组图程序的类型推断系统在网络上执行元组图程序的方法
5. LOCATION MAP PREPARING SYSTEM, NETWORK SERVER, NETWORK CLIENT, LOCATION MAP PREPARING METHOD AND STORAGE MEDIUM HAVING COMPUTER PROGRAM FOR EXECUTING THE LOCATION MAP PREPARING METHOD STORED THEREON [P] . 日本专利： JP2001266167A . 2001-09-28

机译：位置图准备系统，网络服务器，网络客户端，位置图准备方法和具有用于执行存储在其中的位置图准备方法的计算机程序的存储介质