首页> 中国专利> 采用逻辑消解的安全语言转换

采用逻辑消解的安全语言转换

摘要

安全语言构造可被转换成逻辑语言构造,反之亦然。逻辑消解可例如使用逻辑语言构造来实现。在一示例实现中,描述了将安全语言断言转换成至少一个逻辑语言规则。在另一示例实现中,描述了将反映一逻辑语言的证明图转换成反映一安全语言的证明图。在又一示例实现中,描述了使用确定性算法对逻辑语言程序的求值。

著录项

  • 公开/公告号CN101512505B

    专利类型发明专利

  • 公开/公告日2011-09-07

    原文格式PDF

  • 申请/专利权人 微软公司;

    申请/专利号CN200780033329.6

  • 申请日2007-09-10

  • 分类号

  • 代理机构上海专利商标事务所有限公司;

  • 代理人顾嘉运

  • 地址 美国华盛顿州

  • 入库时间 2022-08-23 09:07:51

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2015-06-03

    专利权的转移 IPC(主分类):G06F 15/00 变更前: 变更后: 登记生效日:20150513 申请日:20070910

    专利申请权、专利权的转移

  • 2011-09-07

    授权

    授权

  • 2009-10-14

    实质审查的生效

    实质审查的生效

  • 2009-08-19

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号