面向对象语言

摘要： 指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通过添加上下文敏感信息是提高指针分析的精度的一个重要手段.自从面向对象的概念被提出来之后,该概念得到了广泛的应用,Java、C++、.NET、C#等主流语言都支持面向对象的特性,面向对象程序的指针分析越来越受关注.做了一个系统文献综述(SLR),通过对索引到的相关文献进行分析和归类,总结了面向对象程序的上下文敏感指针分析研究的5个主要问题,并对这5个问题中用到的方法进行了分析讨论.

摘要： This paper introduces a formal verification of mJava compiler targeting Micro-Dalvik virtual machine (VM)where m Java is an object-oriented language similar to Java,and Micro-Dalvik is a Dalvik-like VM of the register-based architecture.The operational semantics of m Java and Micro-Dalvik VM are defined.The compiler operates in two sta-ges.First it replaces the names of local variables by their corresponding indices and hence translates mJava into an intermedi-ate language.Then it generates the Micro-Dalvik VM instructions.After defining the operational semantics of the intermedi-ate language,the correctness of the two stages are formulated in terms of the preservation of the semantics and is proved re-spectively.The whole formalization is machine-checked in the theorem proof assistant Isabelle/HOL.The m Java language and Micro-Dalvik VM are more abstract than the comparable Java and the Dalvik VM,respectively,which is a result of a compromise between the the realism of the language and the clarity of the formalization.However,mJava language and Mi-cro-Dalvik VM exhibit core features of an object-oriented programming language and a register-based architecture,respec-tively,and thus in this sense,this verified compiler is non-trivial.%针对类Java的面向对象语言m Java到类Dalvik的寄存器架构虚拟机Micro-Dalvik 的编译验证，给出了m Java语言和Micro-Dalvik的操作语义．从m Java语言程序到Micro-Dalvik虚拟机指令的编译分为两步，首先将m Java语言程序中的本地变量名转换为相应的序号，得到一个中间语言程序，再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序．在给出中间语言的操作语义后，构造了m Java语言程序与编译后的中间语言程序的语义保持定理并证明，以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明．整个形式化编译验证在定理证明助手Isabelle／HOL中进行了机器检测．m Java语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象，是我们兼顾语言的真实性和形式化的清晰性的结果．但是，所有形式化的语义严格遵从语言规范中的定义，并与Dalvik VM的实现保持一致，从这种意义上讲，该编译器并不是一个实验性质的假想编译器，而是有其实用意义的．

摘要： 文章以C++语言作为开发工具，采用搜索算法设计最优落子点开发的游戏软件。本文详细介绍了五子棋游戏软件设计的全过程，描述了该软件的功能，以及和其它五子棋程序的比较。%The game is based on C++ language,using searching algorithm to design best gobang.The detailed presentation of the whole process of gobang game software describes the software functions and procedures and other gobang other gobang some more.

摘要： 面向对象语言在软件工程实践中有着广泛的应用.为面向对象语言定义严格的语义有助于理解面向对象语言的本质特征,对验证软件、提高软件系统可靠性等也具有重要意义.给出了一种新的面向对象语言的语义框架,该框架基于命令式的风格,具有操作语义和类型规则；证明了该语义框架的类型安全定理.%Object-oriented languages have wide applications in software engineering practice, and designing a rigorous semantics framework for these language has great importance in understanding their key features, and also in software verifications etc. This paper presented a new imperative-style semantics framework for object-oriented languages. This framework includes the operational semantics and a type system. This paper proved the soundness theorem.

摘要： 随着计算机技术的发展和其应用领域的日益扩大，软件技术的研发也日益受到IT人士的广泛重视。与此同时，软件开发语言也在与时俱进，处在不断地发展当中，从低级、不成熟到高级、日趋成熟完善，再到现在的追逐更好。但是，当今软件开发的过程却是越来越繁琐，因此，人们对软件开发语言的研究、探索和开发也愈加的重视。本文则针对软件开发语言的不同发展时期的情况进行分析研究。%　　With the development of computer technology and the increasingly expand of its applications, software technology R&D has also been attention of IT personage. At the same time, the software development language is also advancing with the times, in the constant development, from elementary to advanced, mature and perfect, and then to the pursuit of better. However, the course of software development is more and more complex, therefore, the research, exploration and development of software development language are more and more attention. This paper is aimed at the software development language in the different periods of development situation conducts the analysis research.

摘要： 在使用面向对象(00,Object Oriented)语言的软件开发过程中,面向对象语言明显优于非面向对象语言,目前面向对象的程序设计语言种类繁多,究竟应该选择何种语言更利于系统开发和维护呢?本文就面向对象语言特点和因素进行了探讨讨研究.

摘要： 论述了面向对象方法和面向对象数据模型,对面向对象数据库管理系统的特征和功能做了详细地阐述,并介绍了一种面向对象的数据库子语言,在对面向对象数据库系统优缺点进行分析的同时,指出了其发展方向。

摘要： TypeScript是一种由微软开发的自由编程语言，它是JavaScript的一个超集。与Javascnp讲目比，TypeScript的改进包括：加入类型声明和编译时类型检查，增加完整的类结构，令其更近似于传统的面向对象语言，加入接口、

摘要： Google研发总监Peter Norvig曾谈到他在编程上成功的秘诀之一：“至少要学会六门编程语言。一种面向对象语言，如Java或C＋＋：一种函数式语言，

摘要： 本文采用目前最流行的面向对象语言VISUALFOXPR06.0为开发工具,对变电运行管理系统软件进行升级开发,该系统拥有与WINDOWS操作系统类似的操作界面.

摘要： 该文旨在通过剖析作用该人参于设计的一个基于８０３８６ＥＸ的衡器软件系统，殿示高档ＣＰＵ与面向对象语言和实时多任务系统相接合在高档衡器开发上的广阔应用前景。

摘要： 本文首先对一种实时图形跟踪快速匹配算法——变模板相关算法(VMCA)的优越特性及其应用作一简介,进而用具有一系列卓越特性的Java网络语言将其通过对象函数转换成一个高速、易用的多线程并发函数,从而大大扩展了其应用效率与范围.

摘要： 本文首先对一种实时图形跟踪快速匹配算法——变模板相关算法(VMCA)的优越特性及其应用作一简介,进而用具有一系列卓越特性的Java网络语言将其通过对象函数转换成一个高速、易用的多线程并发函数,从而大大扩展了其应用效率与范围.

摘要： 本文首先对一种实时图形跟踪快速匹配算法——变模板相关算法(VMCA)的优越特性及其应用作一简介,进而用具有一系列卓越特性的Java网络语言将其通过对象函数转换成一个高速、易用的多线程并发函数,从而大大扩展了其应用效率与范围.

摘要： 本文首先对一种实时图形跟踪快速匹配算法——变模板相关算法(VMCA)的优越特性及其应用作一简介,进而用具有一系列卓越特性的Java网络语言将其通过对象函数转换成一个高速、易用的多线程并发函数,从而大大扩展了其应用效率与范围.

摘要： 本文首先对一种实时图形跟踪快速匹配算法——变模板相关算法(VMCA)的优越特性及其应用作一简介,进而用具有一系列卓越特性的Java网络语言将其通过对象函数转换成一个高速、易用的多线程并发函数,从而大大扩展了其应用效率与范围.

摘要： 本文首先对一种实时图形跟踪快速匹配算法——变模板相关算法(VMCA)的优越特性及其应用作一简介,进而用具有一系列卓越特性的Java网络语言将其通过对象函数转换成一个高速、易用的多线程并发函数,从而大大扩展了其应用效率与范围.

摘要： 本发明提供一种面向对象的数据处理方法及装置，所属方法包括以下步骤：根据对象的范畴确定基于Schema模式的类集合和属性集合；所述类集合中的每个类用于表征所述对象的嵌套组成结构，所述属性集合中的每个属性用于表征对应类的描述信息；确定所述类之间的继承关系以及所述类和所述属性之间的关联关系；基于所述继承关系和所述关联关系获取所述类集合和所述属性集合中的对应数据，构造面向对象的数据模型。本发明提供一套完整的开发技术数据框架，包含模型对象序列化、反序列化、存储数据自动升级，业务对象和数据对象自动转换以及对象的自动深度拷贝功能，极大减轻上层开发者的开发成本。

摘要： 本发明请求保护的一种基于面向对象语言处理的档案管理方法，面向多查询语言平台，通过获取待处理档案，对待处理档案进行预处理，对预处理后的所述待处理档案进行元数据提取，获取所述待处理档案的用户交互数据，基于所述用户交互数据和所述元数据，选择合适的语言查询平台，将所述待处理档案发送至所述合适的语言查询平台。通过确定所述待处理档案的处理优先级，对档案的查询处理进行个性化需求匹配，以及基于客观条件，即当前资源调度情况结合进行数据查询平台的选取和优先级排序，真正做到满足多查询语言平台的用户需求的查询条件以及符合客观资源情况的查询操作。

摘要： 本公开的实施方式涉及用面向对象语言的资源编排方法、设备和程序。具体而言，本公开公开了一种使用面向对象语言的资源编排方法，包括：创建从面向对象语言中的概念到资源编排的需求的对应关系；创建用于实施设备资源编排的、基于设备对应关系的工作流；以及基于设备对应关系和工作流来实施资源编排。本公开还公开了一种使用面向对象语言的资源编排设备和用于执行一种使用面向对象语言的资源编排方法的步骤的计算机程序产品。

摘要： 本发明涉及一种对使用面向对象语言编写的软件进行保护的方法。此方法的处理对象是被保护软件的所有工程源码。通过分析工程源码，找出适合保护的若干个类，然后将这些类的实例字段替换成读写软件保护装置的函数，并且将所有源码中对这些实例字段的读写操作都改为对这些函数的调用。经过这样处理过的源码在编译之后，对被选出来的类的所有实例字段的读写操作都变成了对软件保护装置的读写操作，很难手动实现软件脱离软件保护装置单独运行，增强了软件保护强度，并且整个保护过程可以通过一个工具软件自动实现，简化了软件保护流程。

摘要： 本发明向主流面向对象语言添加了对并行性的支持。提供了语言扩展，它能够开发运行于一个地址空间、跨单个计算机上的若干进程分布、跨局域网或广域网分布的程序，而不重新编码该程序。这方面的中心点是服务的概念，它能够执行它自己的算法(逻辑)线程。服务不共享存储器或使用明确的同步原语来同步。相反，数据共享和同步二者是通过消息传递来实现的，例如一组明确声明的消息在服务之间发送。消息能够包括共享的数据，并且消息交换的模式提供了必须的同步。

摘要： 执行装置执行以面向对象语言制作的应用程序，应用程序包含具有1个以上的方法的1以上的类、和表示有无保密的必要性的保密性信息，根据上述保密性信息，判断是否需要加密，在执行方法时，将包含有上述方法所操作的数据的对象记录在存储器中，当判断为需要加密时，记录所记录的对象内的数据已被加密的数据。

摘要： 本发明请求保护的一种基于面向对象语言处理的档案管理方法，面向多查询语言平台，通过获取待处理档案，对待处理档案进行预处理，对预处理后的所述待处理档案进行元数据提取，获取所述待处理档案的用户交互数据，基于所述用户交互数据和所述元数据，选择合适的语言查询平台，将所述待处理档案发送至所述合适的语言查询平台。通过确定所述待处理档案的处理优先级，对档案的查询处理进行个性化需求匹配，以及基于客观条件，即当前资源调度情况结合进行数据查询平台的选取和优先级排序，真正做到满足多查询语言平台的用户需求的查询条件以及符合客观资源情况的查询操作。

摘要： 本公开的实施方式涉及用面向对象语言的资源编排方法、设备和程序。具体而言，本公开公开了一种使用面向对象语言的资源编排方法，包括：创建从面向对象语言中的概念到资源编排的需求的对应关系；创建用于实施设备资源编排的、基于设备对应关系的工作流；以及基于设备对应关系和工作流来实施资源编排。本公开还公开了一种使用面向对象语言的资源编排设备和用于执行一种使用面向对象语言的资源编排方法的步骤的计算机程序产品。

摘要： 本发明公开了一种基于递归替换展开回溯的excel公式面向对象语言的自动转换方法，包括如下步骤：针对excel的需要转换为面向对象语言的数学公式，在excel表格列头备注返回值；对备注返回值的数学公式，采用逆波兰规则、结合预定义公式集和Excel中的运算符，自动提取公式中的参数；对提取后的参数进行修饰；将参数修饰后的数学公式进行解析，对复杂的数学公式逐级简化为所述数学公式对应的多个原子公式；按所述的面向对象语言逐级回溯所述的多个原子公式，直至全部数学公式完成转换。通过采用逆波兰规则结合预定义公式集和Excel中的运算符，自动提取公式中的参数，生成面向对象语言中能够使用的公式。使得不具有特定编程语言能力的人群也能够使用excel进行特定的运算、公式编辑和处理。

摘要： 本发明涉及一种对使用面向对象语言编写的软件进行保护的方法。此方法的处理对象是被保护软件的所有工程源码。通过分析工程源码，找出适合保护的若干个类，然后将这些类的实例字段替换成读写软件保护装置的函数，并且将所有源码中对这些实例字段的读写操作都改为对这些函数的调用。经过这样处理过的源码在编译之后，对被选出来的类的所有实例字段的读写操作都变成了对软件保护装置的读写操作，很难手动实现软件脱离软件保护装置单独运行，增强了软件保护强度，并且整个保护过程可以通过一个工具软件自动实现，简化了软件保护流程。