专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明公开

EP2656203A4 EXTENSIBLE DATA PARALLEL SEMANTICS 审中-公开
标题翻译：并行语义可膨胀DATA
公开(公告)号：EP2656203A4
公开(公告)日：2016-03-30
申请号：EP11850729
申请日：2011-12-23
申请人： MICROSOFT TECHNOLOGY LICENSING LLC
发明人： RINGSETH PAUL F
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/436 , G06F8/314
摘要： A high level programming language provides extensible data parallel semantics. User code specifies hardware and software resources for executing data parallel code using a compute device object and a resource view object. The user code uses the objects and semantic metadata to allow execution by new and/or updated types of compute nodes and new and/or updated types of runtime libraries. The extensible data parallel semantics allow the user code to be executed by the new and/or updated types of compute nodes and runtime libraries.

2. 发明公开

EP2941700A1 DECLARATION OF LIFETIME OF RESOURCE REFERENCE 审中-公开
标题翻译： RALLY资源参考资料的寿命
公开(公告)号：EP2941700A1
公开(公告)日：2015-11-11
申请号：EP14702319.6
申请日：2014-01-03
申请人： Microsoft Technology Licensing, LLC
发明人： PARSONS, Jared Porter , DUFFY, John J. , KATZENBERGER, G. Shon , BROMFIELD, Alexander Daniel , ROZENFELD, Yevgeniy
IPC分类号： G06F9/45
CPC分类号： G06F8/41 , G06F8/436 , G06F8/437
摘要： A language extension that advances safety in system programming by specifying a lifetime of a reference that represents a resource. In accordance with the language extension, the lifetime references a particular scope in a manner that the compiler generates computer-executable instructions that enforce the lifetime of the reference to be a function of (e.g., no longer than) the lifetime of the particular scope. Accordingly, the resource lifetime may be specified in advance to have a particular scope. This helps in performing resource management as typical managed language programs can allow resources to exist indefinitely. Furthermore, because the resources have a defined finite lifetime, they might be more conveniently allocated on a stack, instead of on a heap, for much more efficient processing.

3. 发明公开

EP2941699A1 IMMUTABLE OBJECT TYPES 审中-公开
标题翻译： UNVERÄNDERLICHEOBJEKTTYPEN
公开(公告)号：EP2941699A1
公开(公告)日：2015-11-11
申请号：EP14702314.7
申请日：2014-01-03
申请人： Microsoft Technology Licensing, LLC
发明人： DUFFY, John J. , PARSONS, Jared Porter , SINZ, Michael , BROMFIELD, Alexander Daniel , CWALINA, Krzysztof J.
IPC分类号： G06F9/45
CPC分类号： G06F8/315 , G06F8/436 , G06F8/437
摘要： A language extension that advances safety in system programming in that an entire type may be declared to be immutable in the case in which all instances of that type are immutable. The immutable type declaration automatically causes any instances of that type to be treated as immutable, and automatically causes all directly or indirectly reachable members (e.g., fields, methods, properties) of the instance to also be treated as immutable. Furthermore, any construction time reference that allows for field assignment of the instance is not permitted to survive beyond the point at which the instance becomes accessible to its creator. Accordingly, this instance, and any other instance of that same type, will be immutable from the very time of construction. The ability to classify all such instances as immutable is beneficial as the immutable characteristic permits actions that normally would not be allowed due to resource access safety.
摘要翻译：在系统编程中提高安全性的语言扩展，因为在所有类型的实例都是不可变的情况下，整个类型可能被声明为不可变的。不可变类型声明自动导致该类型的任何实例被视为不可变的，并且自动导致实例的所有直接或间接可访问成员（例如，字段，方法，属性）也被视为不可变的。此外，允许实例的字段分配的任何构造时间参考不允许在实例变得可访问的位置之外生存。因此，这种情况和同一类型的任何其他实例将在施工的时候是不可变的。将所有这样的实例分类为不可变的能力是有益的，因为不可变的特性允许通常由于资源访问安全而不允许的动作。

4. 发明公开

EP1785848A1 Method and apparatus for semantic checking of program code 审中-公开
标题翻译： Verfahren und Vorrichtung zur semantischenÜberprüfungeines Programmcodes
公开(公告)号：EP1785848A1
公开(公告)日：2007-05-16
申请号：EP05300839.7
申请日：2005-10-20
申请人： Hewlett-Packard Development Company, L.P.
发明人： Pofelski, Lech
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/436
摘要： A method is provided of checking program code of an appl ication-program, which references external domain-source-definitions. The checking method pertains to the references from the application-program to the external domain-source-definitions and is performed by means of an inference engine being supplied with an application-program knowledge base, a domain-source-definition knowledge base and checking rules. The program code of the application-program is translated into the application-program knowledge base. The external domain-source-definitions are translated into the domain-source-definition knowledge base. Checking rules are defined. The inference engine is run on the application-program knowledge base, on the domain-source-definition knowledge base and on the defined checking rules in order to verify which checking rules are fulfilled. Information concerning fulfillment of the checking rules is returned.
摘要翻译：提供了一种检查应用程序的程序代码的方法，其中引用了外部域源定义。检查方法涉及从应用程序到外部域源定义的引用，并且通过提供应用程序知识库，域源定义知识库和检查规则的推理引擎来执行。应用程序的程序代码被转换为应用程序知识库。外部域 - 源定义被翻译成域源定义知识库。定义检查规则。推理引擎在应用程序知识库，域 - 源定义知识库和定义的检查规则上运行，以验证哪些检查规则得到满足。返回有关执行检查规则的信息。

5. 发明公开

EP1122640A1 Apparatus for automatically generating source code 审中-公开
标题翻译： Gerätzur automatischen Erzeugung von Quellenkode
公开(公告)号：EP1122640A1
公开(公告)日：2001-08-08
申请号：EP00300742.4
申请日：2000-01-31
申请人： BRITISH TELECOMMUNICATIONS public limited company
发明人： The designation of the inventor has not yet been filed
IPC分类号： G06F9/44
CPC分类号： G06F8/30 , G06F8/436
摘要： A method of automatically generating software from one or more predefined functions in accordance with an input statement entered in natural language, the method comprising the steps of:

(i) analysing the input statement for its semantic content, so as to extract first semantically meaningful elements from the input statement;
(ii) analysing the one or more predefined functions for their semantic content, so as to extract one or more sets of second semantically meaningful elements from the one or more predefined functions;
(iii) identifying at least one of a condition, an action and/or a statement in the input statement;
(iv) comparing the first semantically meaningful elements with the second semantically meaningful elements so as to identify one or more predefined functions that correspond to one or more action and/or statement of the input statement;
(v) combining at least some of the first semantic elements in accordance with any conditions identified at step (iii) so as to generate corresponding condition variables;
(vi) combining functions and condition variables identified at steps (iv) and (v) according to a set of predetermined rules in order to generate the software.
摘要翻译：一种根据以自然语言输入的输入语句从一个或多个预定义函数自动生成软件的方法，所述方法包括以下步骤：（i）分析其语义内容的输入语句，以便提取第一语义上有意义的元素从输入语句; （ii）分析其语义内容的一个或多个预定义函数，以便从一个或多个预定义函数中提取一组或多组第二语义有意义的元素; （iii）识别输入陈述中的条件，动作和/或陈述中的至少一个; （iv）将第一语义有意义的元素与第二语义有意义的元素进行比较，以便识别与输入语句的一个或多个动作和/或语句相对应的一个或多个预定义函数; （v）根据步骤（iii）中识别的任何条件组合至少一些第一语义元素，以便产生相应的条件变量; （vi）根据一组预定规则组合在步骤（iv）和（v）中识别的功能和条件变量，以便产生软件。

6. 发明授权

EP3032409B1 TRANSITIVE SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION 有权转让
公开(公告)号：EP3032409B1
公开(公告)日：2018-08-29
申请号：EP15196029.1
申请日：2015-11-24
申请人： Semmle Limited
发明人： HENRIKSEN, Anders Starcke , DOMENECCI, Ricardo Pescuma
IPC分类号： G06F8/41 , G06F8/75 , G06F11/36 , G06F8/30 , G06F8/71 , G06F8/73
CPC分类号： G06F11/3616 , G06F8/30 , G06F8/433 , G06F8/436 , G06F8/71 , G06F8/73 , G06F8/75 , G06F11/3604 , G06F11/3688
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a plurality of snapshots of a code base, including data representing a revision graph of the snapshots of the code base and data representing respective violations in each of the plurality of snapshots. A plurality of transitively matched violations in the code base are generated, wherein each transitively matched violation represents a respective sequence of matching violations from a first violation of a first snapshot to a second violation of a second snapshot, wherein each transitively matched violation identifies a respective first violation representing an initial occurrence of a coding defect in the code base and a respective second violation representing a last occurrence of the coding defect in the code base.

7. 发明公开

EP2223213A4 MULTI LANGUAGE SOFTWARE CODE ANALYSIS 有权转让
标题翻译：更多语言软件代码分析
公开(公告)号：EP2223213A4
公开(公告)日：2011-11-30
申请号：EP08851908
申请日：2008-11-17
申请人： NAT ICT AUSTRALIA LTD
发明人： HUUCK RALF , RAUCH FELIX , BLACKHAM BERNHARD , SEEFRIED SEAN
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/53 , G06F8/43 , G06F8/436 , G06F8/447 , G06F8/51
摘要： The invention concerns a method, a computer, and software for analysis of software code that includes code written in multiple languages. A static analysis on source code of an embedded system that has source code written in a low-level language embedded within a high level language is accompanied by transforming the embedded low level language source code to a common high level representation for performing the static analysis. This transformation only retains sufficient semantic meaning of the low level source code necessary to perform the static analysis.

8. 发明公开

EP2223213A1 MULTI LANGUAGE SOFTWARE CODE ANALYSIS 有权转让
标题翻译：更多语言软件代码分析
公开(公告)号：EP2223213A1
公开(公告)日：2010-09-01
申请号：EP08851908.7
申请日：2008-11-17
申请人： National ICT Australia Limited
发明人： HUUCK, Ralf , RAUCH, Felix , BLACKHAM, Bernhard , SEEFRIED, Sean
IPC分类号： G06F9/45
CPC分类号： G06F8/53 , G06F8/43 , G06F8/436 , G06F8/447 , G06F8/51
摘要： The invention concerns the analysis of software code that includes code that is written in multiple languages. In particular the invention concerns, but is not limited to, static analysis on source code of an embedded system that has source code that is written in a low-level language embedded within a high level language. The invention provides transforming 60 the embedded low level language source code to a common high level representation that the static analysis can be performed on. This transformation may only retain sufficient semantic meaning to cater for the static analysis, but now more, allowing the transformation to be made. Aspects of the invention include a method, a computer system and software.

9. 发明公开

EP1846819A1 METHOD AND APPARATUS FOR IMPLEMENTING A BI-ENDIAN CAPABLE COMPILER 审中-公开
标题翻译：方法和装置用于实现具有BI COUNTRIES能力的编译器
公开(公告)号：EP1846819A1
公开(公告)日：2007-10-24
申请号：EP05853640.0
申请日：2005-12-09
申请人： Intel Corporation , Wilkinson, Hugh
发明人： WILKINSON, Hugh , ADILETTA, Matthew , KUSHLIS, Robert
IPC分类号： G06F9/45
CPC分类号： G06F8/436 , G06F8/447 , G06F8/52
摘要： A method of compiling code includes assigning an endian type to data. An endian flip operation is performed based on the endian type of the data and a target system. Other embodiments are described and claimed.

10. 发明公开

EP1406166A1 Validation of scripting languages with interfaces using annotations in XML 有权
标题翻译： Prüfungvon Skriptsprachen mit Schnittstellen mittels Annotationen in XML
公开(公告)号：EP1406166A1
公开(公告)日：2004-04-07
申请号：EP02022042.2
申请日：2002-10-01
申请人： SAP Aktiengesellschaft
发明人： Dietl, Josef
IPC分类号： G06F9/44
CPC分类号： G06F11/3608 , G06F8/436 , G06F11/2294
摘要： Computer implemented method for validation of computer code, comprising
providing a computer program by defining a set of definition instructions, a set of implementation instructions and a script code section, validating the defined sets using a validation tool, validating the script code section using the set of implementation instructions, wherein the definition instructions are classes and the implementation instructions are interfaces, wherein the definition instructions are converted into classes and the implementation instructions are converted into interfaces, wherein the definition instructions and said implementation instructions are described in XML.
摘要翻译：该方法涉及通过定义一组定义指令，实现指令和脚本代码部分来提供计算机程序。定义的集合和脚本代码部分使用工具和实现指令进行验证。定义指令被转换为类，并将实现指令转换为接口，其中以XML描述指令。计算机系统可读的程序存储装置包括一个独立的权利要求。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式