-
公开(公告)号：CN1664779A
公开(公告)日：2005-09-07
申请号：CN200410085101.X
申请日：2004-06-25
申请人： 微软公司
发明人： A·V·S·萨斯特里 , A·E·艾尔斯 , A·J·爱德华兹 , C·L·米谢尔 , D·M·吉尔斯 , D·R·小塔迪蒂 , J·伯格 , M·L·罗伯茨 , M·R·普莱斯克 , V·K·格罗弗
IPC分类号： G06F9/44
摘要： 提供了一种软件开发体系结构，用于结构各类的软件开发工具。能够通过将指定了专用于一组软件开发场景的功能的规范集成到与软件开发场景无关的框架里来创建软件开发工具。然后能够编译集成的规范，以创建软件开发工具。替换地，也可以在不访问源代码的情况下，在运行时实现集成。所述体系结构能够使用下列内容的任何组合：软件场景独立的中间表示格式，能够支持多个程序设计语言专用异常处理模型的一个或多个异常处理模型，能够表示多个源语言的类型表示的类型系统，以及能够生成以多个执行体系结构为目标的代码的代码生成器。
-
公开(公告)号：CN102693154B
公开(公告)日：2018-01-09
申请号：CN201210037527.2
申请日：2012-02-17
申请人： 微软技术许可有限责任公司
IPC分类号： G06F9/46
CPC分类号： G06F11/3608 , G06F8/437 , G06F9/44589 , G06F11/3612
摘要： 提供了用于动态惰性编程语言的动态惰性类型系统。可在执行期间惰性地为值标识类型。随后，可执行类型检查以定位和返回任何类型错误。因此，程序可获益于运行时灵活性和轻量注释结合由实质的类型系统所提供的益处。
-
公开(公告)号：CN105103126A
公开(公告)日：2015-11-25
申请号：CN201480004110.3
申请日：2014-01-03
申请人： 微软技术许可有限责任公司
发明人： M·塔耶费尔
IPC分类号： G06F9/45
CPC分类号： G06F12/0813 , G06F8/315 , G06F8/437 , G06F9/30192 , G06F12/145
摘要： 描述了受管代码系统中的类型铸造。受管代码系统包括受管存储器以及位于受管存储器之外的共享存储器。受管存储器具有多个受管存储器部分，每一受管存储器部分对应于一计算实体，诸如进程。类型系统准许使用类型铸造从共享存储器获得数据以藉此向数据指派支持类型铸造的类型。该类型是满足允许该类型被指派同时维持类型安全性的某些要求的有效类型的铸造类型。
-
-
公开(公告)号：CN102203757B
公开(公告)日：2013-07-31
申请号：CN200980135192.4
申请日：2009-08-19
申请人： 微软公司
CPC分类号： G06F9/44557 , G06F8/315 , G06F8/437
摘要： 对冻结对象的类型描述符的高效使用。冻结对象实际上可以包括多个类型描述符，即，根据一组规范化规则是规范的主类型描述符，以及与主类型描述符不相同的辅助类型描述符。可以使用辅助类型描述符来访问规范类型描述符。在执行操作时，如果可以使用辅助类型描述符来执行该操作，则可使用该辅类型描述符。如果要使用规范主类型描述符来执行该操作，则使用辅类型描述符来获取对规范主类型描述符的访问权。随后使用主类型描述符来执行该操作。
-
公开(公告)号：CN102693154A
公开(公告)日：2012-09-26
申请号：CN201210037527.2
申请日：2012-02-17
申请人： 微软公司
IPC分类号： G06F9/46
CPC分类号： G06F11/3608 , G06F8/437 , G06F9/44589 , G06F11/3612
摘要： 提供了用于动态惰性编程语言的动态惰性类型系统。可在执行期间惰性地为值标识类型。随后，可执行类型检查以定位和返回任何类型错误。因此，程序可获益于运行时灵活性和轻量注释结合由实质的类型系统所提供的益处。
-
公开(公告)号：CN102222012A
公开(公告)日：2011-10-19
申请号：CN201110100148.9
申请日：2011-04-13
申请人： 微软公司
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： 在交互编辑环境中执行针对外部数据源的静态类型检查。可以向用户提供对于外部数据的与对内部静态、类型化数据所提供的体验相同的丰富编辑体验。提供可扩展编译器，使得用户或第三方可以将类型检查工具扩展到任何外部数据源。提供可扩展语言服务，使得用户或第三方可以扩展语言服务以提供外部数据的一致的且当前的静态视图。可扩展编译器和语言服务允许语言扩展插入类型检查过程。这使得编译器和语言服务能够提供扩展点，该扩展点允许编辑器的扩展并且允许语言服务静态地呈现动态信息。
-
公开(公告)号：CN102203757A
公开(公告)日：2011-09-28
申请号：CN200980135192.4
申请日：2009-08-19
申请人： 微软公司
CPC分类号： G06F9/44557 , G06F8/315 , G06F8/437
摘要： 对冻结对象的类型描述符的高效使用。冻结对象实际上可以包括多个类型描述符，即，根据一组规范化规则是规范的主类型描述符，以及与主类型描述符不相同的辅助类型描述符。可以使用辅助类型描述符来访问规范类型描述符。在执行操作时，如果可以使用辅助类型描述符来执行该操作，则可使用该辅类型描述符。如果要使用规范主类型描述符来执行该操作，则使用辅类型描述符来获取对规范主类型描述符的访问权。随后使用主类型描述符来执行该操作。
-
公开(公告)号：CN107924326A
公开(公告)日：2018-04-17
申请号：CN201780002772.0
申请日：2017-04-07
申请人： 甲骨文国际公司
CPC分类号： G06F8/447 , G06F8/437 , G06F8/71 , G06F9/449 , G06F9/45504
摘要： 描述了对经更新的类型中的迁移方法进行覆盖。识别调用子类型中的对超类型中的迁移方法进行覆盖的特定方法的指令。这些指令可以使用与特定类型集合相关联的变元集合来调用特定方法。特定类型集合与和在子类型中定义的特定方法相关联的参数类型集合不同。附加地或替代地，这些指令可以包括从特定方法返回特定类型的值。该特定类型与和在子类型中定义的特定方法相关联的返回类型不同。生成新方法。该新方法包括用于(a)转换变元集合和/或(b)转换从特定方法返回的值的指令。新方法被存储在运行时环境中并且被执行。
-
公开(公告)号：CN106843996A
公开(公告)日：2017-06-13
申请号：CN201710135974.4
申请日：2017-03-08
申请人： 百富计算机技术(深圳)有限公司
发明人： 涂钦魁
IPC分类号： G06F9/45
摘要： 本发明提出了一种条件编译预处理方法，所述方法包括：获取待处理的原程序文本，对所述原程序文本进行分析，根据预设的正则表达式匹配出对应的关键字并输出相应的标记，根据所述标记和预设的条件编译语法规则匹配出相应的事件，根据当前状态和所述事件确定相应的处理动作，根据确定的所述处理动作对所述原程序文本进行对应的处理，输出处理后的目标程序文本。该方法使得使用解释型语言开发时仍然可以使用条件编译特性，不仅有利于减少了维护成本，而且有利于减少了资源消耗。此外，还提出了一种条件编译预处理装置。
-
-
-
-
-
-
-
-
-
搜索结果
40 条记录 (耗时 0.014 秒)
